Theorem Int.fract_ne_zero_iff

Modification history

2025-12-30 23:17
Mathlib/Algebra/Order/Floor/Ring.lean
feat: a few Int.floor/Int.fract lemmas (#33408) …
Added Int.fract_ne_zero_iffView on Github →