Commit 2022-07-17 15:25 9f453148
View on Github →feat(algebra/homology): homotopy equivalences are quasi-isomorphisms (#14945) In this PR, it is shown that homotopy equivalences of homological complexes are quasi-isomorphisms.
feat(algebra/homology): homotopy equivalences are quasi-isomorphisms (#14945) In this PR, it is shown that homotopy equivalences of homological complexes are quasi-isomorphisms.