Corollary 3.3.5.5. Let $X$ be a Kan complex. Then the simplicial set $\operatorname{Ex}(X)$ is also a Kan complex.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Corollary 3.3.5.5. Let $X$ be a Kan complex. Then the simplicial set $\operatorname{Ex}(X)$ is also a Kan complex.