Lemma 37.6.8. Let $f : X \to S$ be a morphism of schemes. The following are equivalent:

The morphism $f$ is unramified (resp. G-unramified), and

the morphism $f$ is locally of finite type (resp. locally of finite presentation) and formally unramified.

## Comments (1)

Comment #1284 by Johan Commelin on