TY - RPRT TI - Delooping of the $K$-theory of strictly derivable Waldhausen categories AU - Satoshi Mochizuki PY - 2020 UR - https://arxiv.org/abs/1803.07254 ID - 1803.07254 ER -