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

matching: [Oscar@fingolfin#mh/torsion_free_rank] - ubuntu-latest, julia ~1.10.0-0

failed Feb 29, 2024 in 26m 35s. View latest attempt.