Def CommRingCat.Colimits.colimitSetoid

Modification history