Theorem CategoryTheory.ShortComplex.exact_iff_of_forks

Modification history