[back] [prev] [next] [index] [root]
a := LatEnumElt(Lambda);
a
Lambda
<- back[back] [prev] [next] [index] [root]