Def Mathlib.Meta.NormNum.deriveQ

Modification history