Lemma 37.62.10. Let
\xymatrix{ X \ar[rr]_ f \ar[rd] & & Y \ar[ld] \\ & S }
be a commutative diagram of morphisms of schemes. Assume Y \to S smooth and X \to S is a local complete intersection morphism. Then f : X \to Y is a local complete intersection morphism.
Comments (0)
There are also: