Exact
📁 Source: ClassFieldTheory/Mathlib/Algebra/Homology/ShortComplex/Exact.lean
Statistics
| Metric | Count |
|---|---|
| 2 | |
| 4 | |
| Total | 6 |
CategoryTheory.ShortComplex
Definitions
| Name | Category | Theorems |
|---|---|---|
cokerIsoCoim 📖 | CompOp | |
kerIsoIm 📖 | CompOp |
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
cokerIsoCoim_hom_app 📖 | mathematical | — | cokerIsoCoim | — | — |
cokerIsoCoim_inv_app 📖 | mathematical | — | cokerIsoCoim | — | — |
kerIsoIm_hom_app 📖 | mathematical | — | kerIsoIm | — | — |
kerIsoIm_inv_app 📖 | mathematical | — | kerIsoIm | — | — |
---