We show that any proper Lie groupoid admits a compatible real analytic structure. Our proof hinges on a Weyl unitary trick of sorts for appropriate local holomorphic groupoids.

中文翻译：

---

正确的李群生物是真正的解析

我们证明，任何适当的李群群都可以接受兼容的真实分析结构。我们的证明取决于适当的局部全同组群的Weyl ary技巧。