src/HOL/Analysis/Elementary_Topology.thy
6 months ago nipkow 2018-12-29 capitalize proper names in lemma names
6 months ago immler 2018-12-27 most of Topology_Euclidean_Space (now Elementary_Topology) requires fewer dependencies