[back] [prev] [next] [index] [root]
F := AlffEltAlff(a);
F
a
See also: AlffEltOrder
<- back[back] [prev] [next] [index] [root]