Def Mathlib.Meta.FunProp.addFunPropDecl

Modification history