Theorem Int.mul_fract_eq_one_iff_exists_int

Modification history

2025-12-31 20:48
Mathlib/Algebra/Order/Floor/Ring.lean
chore(Algebra/Order/Floor): review API about `round` (#33421)
Added Int.mul_fract_eq_one_iff_exists_intView on Github →