or ,

T2Space in Mathlib.Topology.Separation

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 ( ∧ )