Topological properties are independent of metric properties: a torus has non-trivial topology regard...
This proposition has not been edited since the history system was added.