feat(Topology/Sets): define the Vietoris topology on (Nonempty)Compacts#31059

gasparattila wants to merge 3 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

gasparattila:compacts-topologygasparattila/mathlib4:compacts-topologyCopy head branch name to clipboard