Loading paper
The special linear version of the projective bundle theorem | Tomesphere