Structure TopologicalSpace.IsTopologicalBasis

Modification history

2023-02-01 00:30

Mathlib/Topology/Bases.lean

feat: port Topology.Bases (#1910)

Added TopologicalSpace.IsTopologicalBasis View on Github →