π-Base
Explore
Spaces
Properties
Theorems
Advanced
Contribute
or
,
T2Space
in
Mathlib.Topology.Separation
Spaces
Theorems
References
Id
If
Then
26
(
∧
)
28
(
∧
∧
)
31
(
∧
∧
)
32
45
(
∧
)
50
(
∧
)
60
(
∧
)
118
127
(
∧
∧
∧
)
145
(
∧
∧¬
)
170
(
∧
)
193
196
(
∧
)
202
(
∧
∧
)
228
230
(
∧
)
240
(
∧
)
269
(
∧
∧
)
281
283
(
∧
)
310
333
395
(
∧
∧
)
404
(
∧
∧
)
405
(
∧
∧
)
420
423
(
∧
)