feat(Topology/Sets): range of NonemptyCompacts.toCompacts#34036

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

gasparattila:range_toCompactsgasparattila/mathlib4:range_toCompactsCopy head branch name to clipboard