Corollary 4.5.3.12. Let $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ be $\infty $-categories, and let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a trivial Kan fibration. Then $F$ is an equivalence of $\infty $-categories.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$