TY - RPRT TI - Conservation theorems on semi-classical arithmetic AU - Makoto Fujiwara AU - Taishi Kurahashi PY - 2022 UR - https://arxiv.org/abs/2107.11356 ID - 2107.11356 ER -