TY - RPRT TI - Short Proofs in Algebraic and Enumerative Combinatorics AU - Colin Defant PY - 2026 UR - https://arxiv.org/abs/2605.19979 ID - 2605.19979 ER -