Kerodon

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

Corollary 3.1.3.6. Let $i: A_{} \hookrightarrow B_{}$ be an anodyne morphism of simplicial sets and let $X_{}$ be a Kan complex. Then the restriction map $\operatorname{Fun}( B_{}, X_{} ) \rightarrow \operatorname{Fun}( A_{}, X_{} )$ is a trivial Kan fibration.