Loading paper
The 5-local homotopy of $eo_4$ | Tomesphere