Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.lt_of_floor_lt

Modification history

2022-04-21 12:10

src/algebra/order/floor.lean

feat(order/basic): Simple shortcut lemmas (#13421) …

Modified nat.lt_of_floor_lt View on Github →

2021-10-22 15:58

src/algebra/floor.lean

feat(algebra/floor): Floor semirings (#9592) …

Added nat.lt_of_floor_lt View on Github →