Def MonCat.Colimits.descMorphism

Modification history