src/HOL/Analysis/Locally.thy
4 weeks ago paulson 2019-03-22 New abstract topological material