Theorem SemiRingCat.FilteredColimits.colimitCoconeIsColimit.descMonoidHom_quotMk

Modification history