Loading paper
Scattered and paracompact order topologies | Tomesphere