feat(topology/compact_open): `simp`-lemmas for `compact_open.gen` (#12267)
feat(topology/compact_open): `simp`-lemmas for `compact_open.gen` (#12267)

This PR adds some basic `simp`-lemmas for `compact_open.gen`.





leanprover-community/mathlib,leanprover-community/mathlib