The category of abelian groups is well-powered

instance AddCommGrp.wellPowered_addCommGrp : CategoryTheory.WellPowered AddCommGrp

Equations

• AddCommGrp.wellPowered_addCommGrp = ⋯