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

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

Proof P2749 on R4011: Polish space is second-countable

P2749

This result is a particular case of R579: Separable metrisable topological space is second-countable. $\square$