Theorem CategoryTheory.ShortComplex.Exact.isZero_of_both_zeros

Modification history

2023-10-20 14:35
Mathlib/Algebra/Homology/ShortComplex/Exact.lean
feat: exactness for short complexes coincides with CategoryTheory.Exact (#7280)
Added CategoryTheory.ShortComplex.Exact.isZero_of_both_zerosView on Github →