Assertion: euclidean space's dimension | /r/HasProperty | local invariant
Facets:
Source sentences:
text: Since dimension is a local invariant (i.e. the map sending each point to the dimension of its neighbourhood over which a chart is defined, is locally constant), each connected component has a fixed dimension.