The Stacks project

Proof. The direct implication is trivial. Suppose that $R \to S$ is smooth at every prime $\mathfrak q$ of $S$. Since $\mathop{\mathrm{Spec}}(S)$ is quasi-compact, see Lemma 10.17.8, there exists a finite covering $\mathop{\mathrm{Spec}}(S) = \bigcup D(g_ i)$ such that each $S_{g_ i}$ is smooth. By Lemma 10.23.3 this implies that $S$ is of finite presentation over $R$. According to Lemma 10.134.13 we see that $\mathop{N\! L}\nolimits _{S/R} \otimes _ S S_{g_ i}$ is quasi-isomorphic to a finite projective $S_{g_ i}$-module. By Lemma 10.78.2 this implies that $\mathop{N\! L}\nolimits _{S/R}$ is quasi-isomorphic to a finite projective $S$-module. $\square$