Theorem Rat.isRat_intFract_of_isRat_negOfNat

Modification history

2025-10-20 21:55
Mathlib/Data/Rat/Floor.lean
feat: norm_num support for Int.fract (#26428)
Added Rat.isRat_intFract_of_isRat_negOfNatView on Github →