Corollary 9.5.5.20. Let $\kappa \leq \lambda $ be small regular cardinals and let $\operatorname{\mathcal{C}}$ be an $\infty $-category. If $\operatorname{\mathcal{C}}$ is $\kappa $-presentable, then it is also $\lambda $-presentable.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$