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

Proof P2742 on R4007: Singletons are closed in Polish space

P2742

This result is a particular case of R102: Singletons are closed in a metric space. $\square$