Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-11-02 23:57 86ed02f9

View on Github →

chore(algebra/order/floor): add a few trivial lemmas (#10120)

Estimated changes

modified theorem int.ceil_add_one
modified theorem int.ceil_sub_int
added theorem int.ceil_sub_one
added theorem int.fract_add_int
added theorem int.fract_eq_self
added theorem int.fract_sub_int
added theorem int.fract_sub_self
added theorem int.self_sub_fract