Theorem CategoryTheory.ShortComplex.quasiIso_map_iff_of_preservesLeftHomology

Modification history