or ,

T1Space in Mathlib.Topology.Separation

Id If Then
19 ( ∧ )
42
43 ( ∧ )
49
70
98
99 ( ∧ )
100
101 ( ∧ )
104
105 ( ∧ )
109 ( ∧ ) ¬
118
119
152
153 ( ∧ )
195
197 ( ∧ )
226
261 ( ∧ )
267 ( ∧ )
280 ( ∧ )
287
288 ( ∧ )
292 ( ∧ ∧ )
305 ( ∧ )
308 ( ∧ ∧ ) ¬
311
318 ( ∧ )
319 ( ∧¬ ∧ )
322 ( ∧ ∧ )
363 ( ∧ )
374 ( ∧ ∧ )
381 ( ∧ )
397 ( ∧ ∧ )
399 ( ∧ ∧ )
402 ( ∧ )
415 ( ∧ )
419
421 ( ∧ )
426 ( ∧ )