mathlib documentation

algebra.category.Group.abelian

The category of abelian groups is abelian #

@[instance]

The category of abelian groups is abelian.

Equations