Loading paper
$p$-complete arc-descent for perfect complexes over integral perfectoid rings | Tomesphere