Loading paper
Derived completions in stable homotopy theory | Tomesphere