mathlib

17559112 - 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.