Talk:PlanetPhysics/CW Complex Representation Theorems