# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$

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.5.2.