Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.floor_div_eq_div

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_eq_divView on Github →