Loading paper
A Khovanov stable homotopy type | Tomesphere