Any intuitive notion of 'nearness' in neighborhoods relies on unstated distance assumptions, even in...
This proposition has not been edited since the history system was added.