Remark 7.4.1.7. If $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ is a cocartesian fibration of small simplicial sets, then the simplicial set $\overline{\operatorname{\mathcal{E}}}$ constructed in the proof of Proposition 7.4.1.6 will also be small.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$