Def Mathlib.Meta.FunProp.getFunPropDecl?

Modification history