Theorem CategoryTheory.ShortComplex.exact_iff_isZero_right_homology

Modification history

2023-09-18 15:32
Mathlib/Algebra/Homology/ShortComplex/Exact.lean
feat: study of the left/right homology comparison morphism (#7192) …
Deleted CategoryTheory.ShortComplex.exact_iff_isZero_right_homologyView on Github →
2023-09-15 09:18
Mathlib/Algebra/Homology/ShortComplex/Exact.lean
feat: exactness of short complexes (#7052) …
Added CategoryTheory.ShortComplex.exact_iff_isZero_right_homologyView on Github →