Def Mathlib.Meta.FunProp.Mor.getArity

Modification history