Talk:PlanetPhysics/Locally Compact Groupoid