Def Mathlib.Meta.FunProp.isFunProp

Modification history