Theorem Rat.isNNRat_intFract_of_isNNRat

Modification history

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