Def SemiRingCat.FilteredColimits.colimitCoconeIsColimit.descAddMonoidHom

Modification history