Def MonCat.Colimits.colimitSetoid

Modification history