Def Mathlib.Meta.FunProp.FunctionData.getCoeAppNumArgs?

Modification history