Theorem cauchy_davenport_of_isMulTorsionFree

Modification history

2025-07-27 09:45
Mathlib/Combinatorics/Additive/CauchyDavenport.lean
chore: replace `Monoid.IsTorsionFree` with `IsMulTorsionFree` (#24311) …
Added cauchy_davenport_of_isMulTorsionFreeView on Github →