Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.floor_to_nat

Modification history

2022-01-12 07:31
src/algebra/order/floor.lean
feat(algebra/order/floor): adds some missing floor API (#11336)
Modified int.floor_to_natView on Github →
2021-10-22 15:58
src/algebra/floor.lean
feat(algebra/floor): Floor semirings (#9592) …
Added int.floor_to_natView on Github →