Theorem CategoryTheory.ShortComplex.ab_exact_iff

Modification history