Theorem Int.abs_fract

Modification history

2023-07-25 23:43

Mathlib/Algebra/Order/Floor.lean

feat: add lemmas about `floor`/`ceil`/`fract`/`round` and `OfNat.ofNat` (#6037) …

Modified Int.abs_fract View on Github →

2023-01-10 17:53

Mathlib/Algebra/Order/Floor.lean

feat: port `Algebra.Order.Floor` (#1304) …

Added Int.abs_fract View on Github →