# Kerodon

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

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.