Dimension of a manifold