Lemma 89.19.12. Let $\mathcal{F}$ be a category cofibered in groupoids over $\mathcal{C}_\Lambda$ satisfying (RS). Let $x' \to x$ be a morphism in $\mathcal{F}$ lying over a surjective ring map. Let $x_0$ be a pushforward of $x$ to $\mathcal{F}(k)$. If $\text{Inf}_{x_0}(\mathcal{F}) = 0$ then $\text{Inf}(x'/x) = 0$.

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