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.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$