Def Mathlib.Meta.FunProp.splitMorToComp

Modification history