Structure TopologicalSpace

Modification history

2023-01-31 07:32

Mathlib/Topology/Basic.lean

Feat: add notation `IsOpen[t]` and `IsClosed[t]` (#1957) …

Deleted TopologicalSpace View on Github →

2023-01-26 08:19

Mathlib/Topology/Basic.lean

feat: port Topology.Basic (#1826)

Added TopologicalSpace View on Github →