Def Behrend.sphere

Modification history

2024-10-22 13:55

Mathlib/Combinatorics/Additive/AP/Three/Behrend.lean

chore(Combinatorics): use newly introduced finset notation (#18055) …

Modified Behrend.sphere View on Github →

2023-06-06 11:47

Mathlib/Combinatorics/Additive/Behrend.lean

feat: port Combinatorics.Additive.Behrend (#4730)

Added Behrend.sphere View on Github →