Quang-Tu Bui

Injectivity radius of manifolds with a Lie structure at infinity

Using Lie groupoids, we prove that the injectivity radius of a manifold with a Lie structure at infinity is positive.