The Stacks project

Remark 38.12.3. There is a variant of Lemma 38.12.2 where we weaken the flatness condition by assuming only that $N$ is flat at some given prime $\mathfrak q$ lying over $\mathfrak r$ but where we strengthen the dévissage condition by assuming the existence of a complete dévissage at $\mathfrak q$. Compare with Lemma 38.10.2.