F
initely_
G
enerated_
A
belian_
G
roups
Set_Multiplication
Miscellaneous_Groups
Generated_Groups_Extend
General_Auxiliary
IDirProds
Finite_Product_Extend
Group_Hom
Finite_And_Cyclic_Groups
DirProds
Group_Relations
Finitely_Generated_Abelian_Groups