Theorem CategoryTheory.ShortComplex.quasiIso_of_retract

Modification history

2025-01-23 19:32
Mathlib/Algebra/Homology/ShortComplex/Retract.lean
feat(Algebra/Homology): quasi-isomorphisms are stable under retracts and have the 2/3 property (#20221)
Added CategoryTheory.ShortComplex.quasiIso_of_retractView on Github →