Weak topology on $\ell^2$ is an $\aleph_0$-space (#761)

Weak topology on $\ell^2$ is an $\aleph_0$-space (#761) #2385