ThmDex – An index of mathematical definitions, results, and conjectures.
Metrisable topological space is Hausdorff
Subresults
R4009: Metrisable topological space is Fréchet
R4012: Polish space is Hausdorff