src/HOL/Topological_Spaces.thy
changeset 78659 b5f3d1051b13
parent 78093 cec875dcc59e
child 78516 56a408fa2440