Def RingCat.Colimits.colimitSetoid

Modification history