Def MonCat.Colimits.ColimitType

Modification history