Theorem CategoryTheory.ShortComplex.hasLeftHomology_iff_unop

Modification history