Loading paper
Are Eberlein-Grothendieck scattered spaces $\sigma$-discrete? | Tomesphere