Theorem cauchy_davenport_minOrder_mul

Modification history

2024-11-07 15:42
Mathlib/Combinatorics/Additive/CauchyDavenport.lean
chore(CauchyDavenport): use semantic lemma names (#17697) …
Added cauchy_davenport_minOrder_mulView on Github →