[MathJax on]
Convention: A morphism in \mathbb{Z} from an integer a to an integer b exists if and only if a \leq b.
generated by GAPDoc2HTML