Theorem CategoryTheory.ShortComplex.exact_of_g_is_cokernel

Modification history

2023-10-27 07:47
Mathlib/Algebra/Homology/ShortComplex/Exact.lean
feat: a split short complex is exact (#7816)
Added CategoryTheory.ShortComplex.exact_of_g_is_cokernelView on Github →