Theorem Set.exists_subset_mul_div

Modification history

2023-12-19 12:55
Mathlib/Combinatorics/Additive/RuzsaCovering.lean
feat: Ruzsa covering for sets (#8916) …
Added Set.exists_subset_mul_divView on Github →