Example 3.6.3.3. Let $X$ and $Y$ be topological spaces, and let $f: X \rightarrow Y$ be a homotopy equivalence. Then $f$ is a weak homotopy equivalence. This is a reformulation of Example 3.1.6.3.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Example 3.6.3.3. Let $X$ and $Y$ be topological spaces, and let $f: X \rightarrow Y$ be a homotopy equivalence. Then $f$ is a weak homotopy equivalence. This is a reformulation of Example 3.1.6.3.