Theorem CategoryTheory.ShortComplex.hasLeftHomology_iff_op

Modification history