Kerodon

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

Remark 5.3.6.2. In the statement of Proposition 5.3.6.1, the hypothesis that $\operatorname{\mathcal{C}}$ is an $\infty $-category is not necessary: see Corollary 5.6.7.6.