src/HOL/Analysis/Connected.thy
20 months ago paulson 2017-10-10 fixed markup
20 months ago paulson 2017-10-10 Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems