Def Mathlib.Meta.FunProp.splitMorToCompOverArgs

Modification history