# Kerodon

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

Remark 3.1.1.11. Let $f: X \rightarrow Y$ be a Kan fibration of simplicial sets. If $Y$ is a Kan complex, then $X$ is also a Kan complex (this follows by applying Remark 3.1.1.10 in the case $Z = \Delta ^0$, by virtue of Example 3.1.1.2).