Def Mathlib.Meta.NormNum.Result.isRat

Modification history