Kerodon

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

Warning 5.1.7.12. The conclusion of Proposition 5.1.7.11 does not necessarily hold if $V: \widetilde{\operatorname{\mathcal{D}}} \rightarrow \operatorname{\mathcal{D}}$ is assumed only to be an inner fibration of simplicial sets. See Warning 5.1.7.6.