Def RingCat.Colimits.ColimitType

Modification history