Kerodon

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

Remark 3.2.6.10. For the equivalence $(1) \Leftrightarrow (2)$ of Corollary 3.2.6.9, the assumption that $X$ and $S$ are Kan complexes is not needed: these assertions hold more generally for any Kan fibration $f: X \rightarrow S$ (Proposition 3.3.7.4).