# Kerodon

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

Corollary 3.1.3.4. Let $X_{}$ be a Kan complex and let $B_{}$ be an arbitrary simplicial set. Then the simplicial set $\operatorname{Fun}( B_{}, X_{} )$ is a Kan complex.