Remark 5.3.6.7. For a more general version of Proposition 5.3.6.6 (which looses the requirement that $U$ is a cocartesian fibration), see Corollary 7.3.7.6 (and Example 7.3.7.8).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 5.3.6.7. For a more general version of Proposition 5.3.6.6 (which looses the requirement that $U$ is a cocartesian fibration), see Corollary 7.3.7.6 (and Example 7.3.7.8).