Uniform approximation: The non-locally convex case

IfS is a compact Hausdorff space of finite covering dimension and (E, τ) is a real or complex topological vector space (not necessarily locally convex), we prove a Weierstrass-Stone theorem for subsets ofC(S;E), the space of all continuous functions fromS intoE, equipped with the topology of uniform convergence overS.