Composition of homotopy equivalences is a homotopy equivalence.

Printable View