Mathlib Changelog
v4
Changelog
About
Github
Theorem
ZMod.cauchy_davenport
Modification history
2024-11-07 15:42
Mathlib/Combinatorics/Additive/CauchyDavenport.lean
chore(CauchyDavenport): use semantic lemma names (#17697) …
Added
ZMod.cauchy_davenport
View on Github →