Follow
Locally Constant Constructive Functions and Connectedness of Intervals. (arXiv:2006.00020v1 [math.LO]) http://arxiv.org/abs/2006.00020
Locally Constant Constructive Functions and Connectedness of Intervals. (arXiv:2006.00020v1 [math.LO]) http://arxiv.org/abs/2006.00020