Loading paper
Projectivity of the Witt vector affine Grassmannian | Tomesphere