Talk:PlanetPhysics/Groupoid Representation Theorem