Proper actions

Geometry of isometry groups in notions of the geometry of Riemannian manifolds