Def Mathlib.Meta.NormNum.evalIntOfNat

Modification history