TY - RPRT TI - Algebraic $K$-theory of coherent spaces AU - Georg Lehner PY - 2025 UR - https://arxiv.org/abs/2507.00221 ID - 2507.00221 ER -