Def CommRingCat.FilteredColimits.colimitCoconeIsColimit

Modification history