Theorem TopologicalSpace.isOpen_biUnion_countable

Modification history

2024-02-04 02:08
Mathlib/Topology/Bases.lean
refactor(Set/Countable): redefine `Set.Countable` (#9831) …
Added TopologicalSpace.isOpen_biUnion_countableView on Github →