Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems
Changeset
66827:c94531b5007d
by paulson _lp15@cam.ac.uk_:
Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems