Orbit projections of proper Lie groupoids as fibrations

Abstract

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 fibration if and only if $\mathcal{G} \rightrightarrows M$ is regular.