Theorem Int.fract_eq_zero_iff

Modification history

2026-10-10 12:26
Mathlib/Algebra/Order/Floor/Ring.lean
feat(Algebra/Order/Floor): weaken assumptions on theorems about `FloorRing` (#37964) …
Modified Int.fract_eq_zero_iffView on Github →
2025-12-30 23:17
Mathlib/Algebra/Order/Floor/Ring.lean
feat: a few Int.floor/Int.fract lemmas (#33408) …
Added Int.fract_eq_zero_iffView on Github →