Theorem CategoryTheory.ShortComplex.ab_exact_iff_range_eq_ker

Modification history