TY - RPRT TI - On a theorem of Grove and Searle AU - Oliver Knill PY - 2020 UR - https://arxiv.org/abs/2006.11973 ID - 2006.11973 ER -