TY - RPRT TI - A Study on Nice Open Covers in Constructive Analysis AU - Tong Cheng AU - Zhihan Gao AU - Yuxin Ma AU - Yuhan Ning AU - Jianghao Xu PY - 2020 UR - https://arxiv.org/abs/2009.02727 ID - 2009.02727 ER -