Def Mathlib.Meta.FunProp.getFunctionData

Modification history