TY - RPRT TI - Pointless Parts of Completely Regular Locales AU - Richard N. Ball PY - 2023 UR - https://arxiv.org/abs/2305.00096 ID - 2305.00096 ER -