Loading paper
Proper Lie groupoids are real analytic | Tomesphere