Theorem quasiIsoAt_of_retract

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 quasiIsoAt_of_retractView on Github →