Theorem CategoryTheory.ShortComplex.ab_exact_iff_ker_le_range

Modification history