Def Mathlib.Meta.NormNum.deriveInt

Modification history