TY - RPRT TI - Fundamental Lemmas in Universal Resolution AU - Yi Hu PY - 2026 UR - https://arxiv.org/abs/2609.24047 ID - 2609.24047 ER -