Injectivity radius of manifolds with a Lie structure at infinity

Abstract

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