Theorem CategoryTheory.ShortComplex.Exact.isIso_imageToKernel

Modification history

2025-12-06 17:24
Mathlib/CategoryTheory/Abelian/Exact.lean
feat(Algebra/Homology): miscellaneous lemmas (#32434) …
Added CategoryTheory.ShortComplex.Exact.isIso_imageToKernelView on Github →