Loading paper
$\mathbb{R}$-motivic $v_1$-periodic homotopy | Tomesphere