feat(Topology/UniformSpace/Closeds): completeness of (Nonempty)Compacts#33963

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

gasparattila:compacts-completegasparattila/mathlib4:compacts-completeCopy head branch name to clipboard