Mathlib Changelog
v3
Changelog
About
Github
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
src/algebra/order/floor.lean
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