TY - RPRT TI - An algebraic proof of 1-extension AU - Alexander Heaton AU - Martin Winter PY - 2026 UR - https://arxiv.org/abs/2610.31212 ID - 2610.31212 ER -