Remark 9.5.3.6. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a presentable fibration of simplicial sets (in the sense of Definition 9.5.3.5). Then $U$ is an edgewise accessible inner fibration (in the sense of Definition 9.4.8.16). See Corollary 9.4.8.29.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$