Loading paper
Large inductive dimension of the Smirnov remainder | Tomesphere