Def Mathlib.Meta.FunProp.getFunPropFun?

Modification history