src/HOL/Topological_Spaces.thy
changeset 62378 85ed00c1fe7c
parent 62369 acfc4ad7b76a
child 62381 a6479cb85944