Skip to content

Rename rank(A::GrpAbFinGen) to torsion_free_rank#1224

Merged
thofma merged 1 commit intothofma:masterfrom fingolfin:mh/torsion_free_rankFeb 29, 2024
+38-15

Commits

Commits on Feb 29, 2024