Kerodon

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

Remark 3.1.1.7. Let $f: X_{} \rightarrow S_{}$ be a Kan fibration of simplicial sets. Then, for every vertex $s \in S_0$, the fiber $\{ s\} \times _{ S_{} } X_{}$ is a Kan complex (this follows from Remark 3.1.1.5 and Example 3.1.1.2).