Theorem quasiIso_of_retractArrow

Modification history

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