Def CommRingCat.Colimits.colimitIsColimit

Modification history