Topological and algebraic structures underdetermine geometry, but this doesn't prove metric is impos...
This proposition has not been edited since the history system was added.