Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.ceil_add_one

Modification history

2021-11-02 23:57
src/algebra/order/floor.lean
chore(algebra/order/floor): add a few trivial lemmas (#10120)
Modified int.ceil_add_oneView on Github →
2021-10-16 16:46
src/algebra/floor.lean
feat(algebra/floor): Floor and ceil of `-a` (#9715) …
Added int.ceil_add_oneView on Github →