The category of abelian groups is well-powered

instance AddCommGroupCat.wellPowered_addCommGroupCat : CategoryTheory.WellPowered AddCommGroupCat

Equations

• AddCommGroupCat.wellPowered_addCommGroupCat = ⋯