Theorem CategoryTheory.ShortComplex.leftHomology_ext_iff

Modification history