Mathlib Changelog
v4
Changelog
About
Github
Theorem
Int.fract_int_nat
Modification history
2023-07-25 23:43
Mathlib/Algebra/Order/Floor.lean
feat: add lemmas about `floor`/`ceil`/`fract`/`round` and `OfNat.ofNat` (#6037) …
Deleted
Int.fract_int_nat
View on Github →
2023-01-10 17:53
Mathlib/Algebra/Order/Floor.lean
feat: port `Algebra.Order.Floor` (#1304) …
Added
Int.fract_int_nat
View on Github →