Situation 78.15.4 (Quasi-splitting). Let $S$ be a scheme. Let $(U, R, s, t, c)$ be a groupoid scheme over $S$. Let $u \in U$ be a point. Assume that

1. $s, t : R \to U$ are separated,

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

3. $s$ is quasi-finite at $e(u)$.

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).