Theorem Monoid.isTorsionFree_of_subsingleton

Modification history

2025-12-17 04:27
Mathlib/GroupTheory/Torsion.lean
chore(GroupTheory/Torsion): delete deprecated declarations (#32843) …
Deleted Monoid.isTorsionFree_of_subsingletonView on Github →
2023-11-10 10:42
Mathlib/GroupTheory/Torsion.lean
feat: Simple results about `ZMod` (#8205)
Added Monoid.isTorsionFree_of_subsingletonView on Github →