Theorem CategoryTheory.ShortComplex.exact_iff_surjective_abToCycles

Modification history