Theorem SemiRingCat.FilteredColimits.colimitCoconeIsColimit.descMonoidHom_apply_eq

Modification history