Def Mathlib.Meta.NormNum.Result.toIsNatQ

Modification history