Theorem noZeroSMulDivisors_int_iff_isAddTorsionFree

Modification history

2025-05-14 07:47
Mathlib/Algebra/NoZeroSMulDivisors/Defs.lean
feat: more lemmas about torsion-free monoids (#24312) …
Added noZeroSMulDivisors_int_iff_isAddTorsionFreeView on Github →