Theorem IsMulTorsionFree.mk'

Modification history

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 →