Loading paper
Comodule categories and the geometry of the stack of formal groups | Tomesphere