TY - RPRT TI - Proof of a magnificent conjecture AU - M. Kool AU - J. V. Rennemo PY - 2025 UR - https://arxiv.org/abs/2507.02852 ID - 2507.02852 ER -