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