Def CommSemiRingCat.FilteredColimits.colimitCoconeIsColimit

Modification history