TY - RPRT TI - Symmetries in exact Bohrification AU - Klaas Landsman AU - Bert Lindenhovius PY - 2018 UR - https://arxiv.org/abs/1806.04648 ID - 1806.04648 ER -