Kerodon

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

Remark 5.2.6.25. In the statement of Proposition 5.2.6.24, the hypothesis that $\operatorname{\mathcal{D}}$ is an $\infty $-category is not necessary: see Corollary 5.6.4.6.