Theorem Behrend.bound

Modification history

2023-12-18 07:15

Mathlib/Combinatorics/Additive/Behrend.lean

chore: Rename pow monotonicity lemmas (#9095) …

Modified Behrend.bound View on Github →

2023-06-06 11:47

Mathlib/Combinatorics/Additive/Behrend.lean

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

Added Behrend.bound View on Github →