Def RingCat.FilteredColimits.colimitCoconeIsColimit

Modification history