Theorem TopologicalSpace.Clopens.countable_iff_second_countable

Modification history

2024-11-14 00:15
Mathlib/Topology/ClopenBox.lean
chore: rename `second_countable` -> `secondCountable` in lemma and instance names (#18911) …
Deleted TopologicalSpace.Clopens.countable_iff_second_countableView on Github →
2024-05-28 13:06
Mathlib/Topology/ClopenBox.lean
feat(Topology): a profinite space has countably many clopens iff it is second countable (#12986)
Added TopologicalSpace.Clopens.countable_iff_second_countableView on Github →