Loading paper
Geometric symmetric powers in the motivic homotopy category | Tomesphere