Lemma 41.3.6. Let $Y$ be a locally Noetherian scheme. Let $f : X \to Y$ be locally of finite type. Let $x \in X$. The morphism $f$ is unramified at $x$ in the sense of Definition 41.3.5 if and only if it is unramified in the sense of Morphisms, Definition 29.35.1.

Proof. This follows from Lemma 41.3.2 and the definitions. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).