mathlib documentation

algebra.category.Group.subobject

The category of abelian groups is well-powered #

source
@[protected, instance]
def AddCommGroup.well_powered_AddCommGroup  :
category_theory.well_powered AddCommGroup