Loading paper
The homotopy fixed points of Real spin bordism | Tomesphere