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)