Def SemiRingCat.FilteredColimits.colimitCoconeIsColimit.descMonoidHom

Modification history