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}$