2026-05-06 01:11
Mathlib/Algebra/Homology/Embedding/ExtendHomotopy.lean
feat(Algebra/Homology): quasi-isomorphisms between chain complexes of projective objects are homotopy equivalences (#38958) …
Added HomologicalComplex.homotopyEquivalences_extendMap_iff