Loading paper
K-theory of non-archimedean rings I | Tomesphere