Remark 9.3.1.9 (Monotonicity). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $m \leq n$ be integer. If an object $X \in \operatorname{\mathcal{C}}$ is $m$-truncated, then it is also $n$-truncated (see Remark 3.5.9.6).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$