Loading paper
Borsuk-Ulam theorem for the loopspace of a sphere | Tomesphere