Theorem topologicalSpace_eq

Modification history

2023-08-22 13:23

Mathlib/Topology/Basic.lean

chore: more predictable ext lemmas for TopologicalSpace and UniformSpace (#6705)

Deleted topologicalSpace_eq View on Github →

2023-01-31 07:32

Mathlib/Topology/Basic.lean

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

Modified topologicalSpace_eq View on Github →

2023-01-26 08:19

Mathlib/Topology/Basic.lean

feat: port Topology.Basic (#1826)

Added topologicalSpace_eq View on Github →