Loading paper
Weak extent, submetrizability and diagonal degrees | Tomesphere