Theorem Rat.isNat_intFract_of_isInt

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_isIntView on Github →