[back] [prev] [next] [index] [root]
lbound := LatEnumLowerBound(Lambda [,lbound]);
lbound
Lambda
<- back[back] [prev] [next] [index] [root]