Documentation

Mathlib.Algebra.Category.GroupCat.Subobject

The category of abelian groups is well-powered #

source
instance AddCommGroupCat.wellPowered_addCommGroupCat :
CategoryTheory.WellPowered AddCommGroupCat
Equations