ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P2750 on R4012: Polish space is Hausdorff

P2750

This result is a particular case of R499: Metrisable topological space is Hausdorff. $\square$