mathlib documentation

algebra.category.Group.preadditive

The category of additive commutative groups is preadditive. #

@[protected, instance]
Equations