Is the closed immersion of a smooth subscheme of a smooth scheme, a smooth morphism?

1.4k Views Asked by At

Let $X$ be a smooth scheme over a (perfect if you want) field $k$. Let $Y$ be a closed subscheme of $X$ that is also smooth over $k$. Is the canonical closed immersion $i:Y \to X$ a smooth morphism?