Theorem Rat.isNat_intFract_of_isNat

Modification history

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