Commit 2026-05-10 10:59 6f105f74
View on Github →feat(GroupTheory/Torsion): add torsion_eq_top_iff (#38718)
The torsion subgroup is the whole group if and only if the group is torsion.
feat(GroupTheory/Torsion): add torsion_eq_top_iff (#38718)
The torsion subgroup is the whole group if and only if the group is torsion.