Lemma 61.13.4. Let $S$ be a scheme. The pro-étale sites $S_{pro\text{-}\acute{e}tale}$, $(\mathit{Sch}/S)_{pro\text{-}\acute{e}tale}$, $S_{affine, {pro\text{-}\acute{e}tale}}$, and $(\textit{Aff}/S)_{pro\text{-}\acute{e}tale}$ and if $S$ is affine $S_{app}$ have enough (affine) quasi-compact, weakly contractible objects, see Sites, Definition 7.40.2.

Proof. Follows immediately from Lemma 61.13.3. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).