Def RingCat.FilteredColimits.colimitCocone

Modification history