Remark 3.3.8.2. We refer the reader to [KLV] for a proof of Theorem 3.3.8.1 which is slightly different from the proof given below (it avoids the use of Kan's $\operatorname{Ex}^{\infty }$-functor by appealing instead to the theory of *minimal Kan fibrations*, which we will discuss in ยง). See also [Shulman] and [Sattler].

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