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_natView on Github →
2023-01-10 17:53
Mathlib/Algebra/Order/Floor.lean
feat: port `Algebra.Order.Floor` (#1304) …
Added Int.fract_int_natView on Github →