Theorem TopologicalSpace.IsTopologicalBasis.continuousOn_iff

Modification history

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