Def Mathlib.Meta.NormNum.Result.isNNRat'

Modification history