Remark 3.5.9.5 (Homotopy Invariance). Let $f,f': X \rightarrow Y$ be morphisms of Kan complexes which are homotopic. Then $f$ is $n$-truncated if and only if $f'$ is $n$-truncated.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 3.5.9.5 (Homotopy Invariance). Let $f,f': X \rightarrow Y$ be morphisms of Kan complexes which are homotopic. Then $f$ is $n$-truncated if and only if $f'$ is $n$-truncated.