Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.floor_div_nat

Modification history

2021-12-13 09:36

src/algebra/order/floor.lean

feat(algebra/order/floor): Floor of `a / n` and other lemmas (#10748) …

Added nat.floor_div_nat View on Github →