# Kerodon

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

Proof. Apply Proposition 5.6.3.1 to the cocartesian fibration $\operatorname{\mathcal{QC}}_{\operatorname{Obj}} \rightarrow \operatorname{\mathcal{QC}}$ of Proposition 5.4.6.11. $\square$