Def CommRingCat.Colimits.ColimitType

Modification history