Def MonCat.Colimits.colimitCocone

Modification history