Exercise 6.1.16. Show that every chain homotopy equivalence is a quasi-isomorphism. Generated from the authoritative LaTeX source.