Theorem Int.floor_lt_self_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.floor_lt_self_iffView on Github →