Theorem CategoryTheory.ShortComplex.hasRightHomology_iff_op

Modification history