TY - RPRT TI - The Pro-Étale Homotopy Type AU - Paul Meffle PY - 2025 UR - https://arxiv.org/abs/2503.18726 ID - 2503.18726 ER -