feat(topology/compacts): The types of clopens and of compact opens (#11966)
feat(topology/compacts): The types of clopens and of compact opens (#11966)

Define `clopens` and ` compact_opens`, the types of clopens and of compact open sets of a topological space.





leanprover-community/mathlib,leanprover-community/mathlib