Lemma 33.25.1. Let $k$ be a field. Let $X$ be a scheme over $k$. Assume

$X$ is locally of finite type over $k$,

$\Omega _{X/k}$ is locally free, and

$k$ has characteristic zero.

Then the structure morphism $X \to \mathop{\mathrm{Spec}}(k)$ is smooth.

## Comments (0)