Theorem CategoryTheory.ShortComplex.hasRightHomology_iff_unop

Modification history