Proposition 11.6.0.129. Let $f: X_{} \rightarrow S_{}$ be a morphism of simplicial sets. Then $f$ is a Kan fibration if and only if it is both a left fibration and a right fibration.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Proposition 11.6.0.129. Let $f: X_{} \rightarrow S_{}$ be a morphism of simplicial sets. Then $f$ is a Kan fibration if and only if it is both a left fibration and a right fibration.