Def Mathlib.Meta.NormNum.Result.isNegNNRat

Modification history