Corollary 4.4.3.10. Let $F: X \rightarrow Y$ be an isofibration between Kan complexes. Then $F$ is a Kan fibration.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Corollary 4.4.3.10. Let $F: X \rightarrow Y$ be an isofibration between Kan complexes. Then $F$ is a Kan fibration.