Theorem CategoryTheory.ShortComplex.HomologyData.exact_iff_i_p_zero

Modification history

2023-09-15 09:18
Mathlib/Algebra/Homology/ShortComplex/Exact.lean
feat: exactness of short complexes (#7052) …
Added CategoryTheory.ShortComplex.HomologyData.exact_iff_i_p_zeroView on Github →