Lemma 37.60.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: