TY - RPRT TI - Notes on trace equivalence AU - Erik Walsberg PY - 2022 UR - https://arxiv.org/abs/2101.12194 ID - 2101.12194 ER -