Def Mathlib.Meta.NormNum.evalPow

Modification history