Lemma 40.10.12. Let $S$ be a scheme. Let $(U, R, s, t, c)$ be a groupoid scheme over $S$. Assume

$U = \mathop{\mathrm{Spec}}(k)$ with $k$ a field,

$s, t$ are locally of finite type, and

the characteristic of $k$ is zero.

Then $s, t : R \to U$ are smooth.

## Comments (0)