Loading paper
Ordinals arising as residual finiteness depths | Tomesphere