Def Mathlib.Meta.NormNum.Result.isNegNat

Modification history