Example 3.5.9.2. For $n \leq -2$, a morphism of Kan complexes $f: X \rightarrow Y$ is $n$-truncated if and only if it is a homotopy equivalence. This is a reformulation of Theorem 3.2.7.1.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Example 3.5.9.2. For $n \leq -2$, a morphism of Kan complexes $f: X \rightarrow Y$ is $n$-truncated if and only if it is a homotopy equivalence. This is a reformulation of Theorem 3.2.7.1.