# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

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].