Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-13 18:30 44999a92

View on Github →

feat(combinatorics/additive/behrend): Behrend's construction (#14070) Construct large Salem-Spencer sets in using Behrend's construction. The idea is to turn the Euclidean sphere into a discrete set of points in Euclidean space which we then squash onto .

Estimated changes