Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.exists_subset_mul_div
Modification history
2024-11-27 19:53
Mathlib/Combinatorics/Additive/RuzsaCovering.lean
refactor(Combinatorics/Additive): generalise Ruzsa's covering lemma to non-abelian groups (#19512) …
Deleted
Set.exists_subset_mul_div
View on Github →
2023-12-19 12:55
Mathlib/Combinatorics/Additive/RuzsaCovering.lean
feat: Ruzsa covering for sets (#8916) …
Added
Set.exists_subset_mul_div
View on Github →