# Kerodon

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

Corollary 3.1.3.2. Let $f: X_{} \rightarrow S_{}$ be a Kan fibration of simplicial sets. Then, for every simplicial set $B_{}$, composition with $f$ induces a Kan fibration $\operatorname{Fun}( B_{}, X_{} ) \rightarrow \operatorname{Fun}( B_{}, S_{} )$.