Loading paper
C_2-equivariant stable homotopy from real motivic stable homotopy | Tomesphere