Lemma 90.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$.
Comments (0)