The Stacks project

Proof. By Lemma 10.126.2 and Lemma 10.39.8 this holds for the property of being flat and for the property of being of finite presentation. The map $\mathop{\mathrm{Spec}}(R') \to \mathop{\mathrm{Spec}}(R)$ is surjective, see Lemma 10.39.16. Thus it suffices to show given primes $\mathfrak p' \subset R'$ lying over $\mathfrak p \subset R$ that $S \otimes _ R \kappa (\mathfrak p)$ is a local complete intersection if and only if $S' \otimes _{R'} \kappa (\mathfrak p')$ is a local complete intersection. Note that $S' \otimes _{R'} \kappa (\mathfrak p') = S \otimes _ R \kappa (\mathfrak p) \otimes _{\kappa (\mathfrak p)} \kappa (\mathfrak p')$. Thus Lemma 10.135.11 applies. $\square$