Theorem IsMulTorsionFree.mk'

Modification history

2026-01-20 16:34
Mathlib/Algebra/GroupWithZero/Torsion.lean
chore(Algebra): deprecate `CancelMonoidWithZero` (#33851) …
Modified IsMulTorsionFree.mk'View on Github →
2025-09-01 13:46
Mathlib/Algebra/GroupWithZero/Torsion.lean
feat(DedekindDomain): Monoid of ideals is torsion-free (#28169) …
Added IsMulTorsionFree.mk'View on Github →