Abelian

📁 Source: Mathlib/Algebra/Category/Grp/Abelian.lean

Statistics

Metric	Count
Definitions instAbelian, normalEpi, normalMono	3
Theorems	0
Total	3

AddCommGrpCat

Definitions

Name	Category	Theorems
instAbelian 📖	CompOp	5 math math: CategoryTheory.Pretriangulated.instIsHomologicalOppositeAddCommGrpCatObjFunctorPreadditiveYoneda, instIsSerreClassIsFinite, CategoryTheory.Pretriangulated.instIsHomologicalAddCommGrpCatObjOppositeFunctorPreadditiveCoyoneda, CategoryTheory.Pretriangulated.preadditiveYoneda_map_distinguished, CategoryTheory.ShortComplex.abCyclesIso_inv_apply_iCycles
normalEpi 📖	CompOp	—
normalMono 📖	CompOp	—

---

← Back to Index