Theorem TopologicalSpace.exists_seq_basis

Modification history

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