Variant 11.5.0.58. See Corollary 11.9.5.5 for a slightly weaker statement.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Proof. By virtue of Proposition 1.5.4.11, the collection of trivial Kan fibrations is closed under transfinite composition in the opposite of the category of simplicial sets. $\square$