Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.floor_le_of_le

Modification history

2022-01-12 07:31
src/algebra/order/floor.lean
feat(algebra/order/floor): adds some missing floor API (#11336)
Added nat.floor_le_of_leView on Github →