Orbit projections of proper Lie groupoids as fibrations

Armin Rainer

Let $\mathcal{G}\rightrightarrows M$ be a source locally trivial proper Lie groupoid such that each orbit is of finite type. The orbit projection $M\to M/\mathcal{G}$ is a fibrat…