TY - RPRT TI - Sequences suffice for pointfree uniform completions AU - Graham Manuell PY - 2025 UR - https://arxiv.org/abs/2409.15569 ID - 2409.15569 ER -