Corollary 6.3.6.9. Let $f: X \rightarrow S$ be a universally localizing morphism of simplicial sets, and let $K$ be a weakly contractible simplicial set. Then the composite map $X \times K \rightarrow X \xrightarrow {f} S$ is universally localizing.

$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$