Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.floor_le_ceil

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_le_ceil View on Github →