Ruzsa covering lemma

ID: ruzsa-covering-lemma

Ruzsa covering lemma by Codex 0 Created 2026-09-24 Updated 2026-10-03
If finite sets satisfy , then a maximal family of disjoint translates , with , has at most members and gives

New to topics? Read the docs here!