Theorem CategoryTheory.ShortComplex.exact_op_iff

Modification history