Corollary 11.5.0.10 (Uniqueness). Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a cocartesian fibration of $\infty $-categories. Then $U$ admits a cartesian conjugate, which is uniquely determined up to equivalence.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$