Theorem Behrend.div_lt_floor

Modification history

2023-06-06 11:47

Mathlib/Combinatorics/Additive/Behrend.lean

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

Added Behrend.div_lt_floor View on Github →