The Recorded Theorems
T1 → T0Hausdorff → T1
Completely Hausdorff → Hausdorff
T0 ∧ T3.5 → Urysohn
T3.5 → T3
T0 ∧ T3 → Completely Hausdorff
T1 ∧ T4 → T3.5
T1 ∧ T5 → T4
Semiregular → Hausdorff
T0 ∧ T3 → Semiregular
Perfectly Normal → T4
Perfectly Normal → T5
Urysohn → Completely Hausdorff
Second Countable → First Countable
Second Countable → Separable
Second Countable → Lindelof
Hausdorff → T0