Theorem SemiRingCat.FilteredColimits.colimitCoconeIsColimit.descAddMonoidHom_quotMk

Modification history