Talk:PlanetPhysics/Homological Complex of Topological Vector Spaces