# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

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.