Simply-connected topology rules out identification spaces that are locally Euclidean but globally no...
This proposition has not been edited since the history system was added.