Loading paper
The eta-inverted R-motivic sphere | Tomesphere