Theorem TopologicalSpace.isTopologicalBasis_singleton_empty

Modification history

2026-05-04 19:24
Mathlib/Topology/Bases.lean
feat(Topology): some lemmas about topological bases (#38538)
Added TopologicalSpace.isTopologicalBasis_singleton_emptyView on Github →