Skip to content

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

Rename rank(A::GrpAbFinGen) to torsion_free_rank

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

Annotations

1 error and 1 warning

[Oscar]#release - ubuntu-latest, julia ~1.10.0-0

succeeded Feb 29, 2024 in 1m 47s. View latest attempt.