Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Example 3.5.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.