TY - RPRT TI - Projective blowups: a formal and multicentered proof AU - A. Mayeux PY - 2026 UR - https://arxiv.org/abs/2609.28489 ID - 2609.28489 ER -