TY  - RPRT
TI  - Decidable fan theorem and uniform continuity theorem with continuous moduli
AU  - Makoto Fujiwara
AU  - Tatsuji Kawai
PY  - 2020
UR  - https://arxiv.org/abs/1912.02432
ID  - 1912.02432
ER  -