Definition:Dimension of Locally Euclidean Space