[MathJax off]
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