$K$-theory of non-Archimedean rings. I

Werkzeuge