Def Mathlib.Meta.NormNum.Result.toIsNat

Modification history