Def MonCat.Colimits.coconeMorphism

Modification history