Lemma 37.62.6. A flat base change of a local complete intersection morphism is a local complete intersection morphism.
Proof. Omitted. Hint: This is true because a base change of a smooth morphism is smooth and a flat base change of a Koszul-regular immersion is a Koszul-regular immersion, see Divisors, Lemma 31.21.3. \square
Comments (0)
There are also: