mathlib3 documentation

algebra.category.Group.abelian

The category of abelian groups is abelian #

THIS FILE IS SYNCHRONIZED WITH MATHLIB4. Any changes to this file require a corresponding PR to mathlib4.

@[protected, instance]

The category of abelian groups is abelian.

Equations