Martin Escardo on Nostr: nprofile1q…2ktwk For this question, I think it depends which reals you are ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq65uwh044df57gvskvnzk8h3quenfsdym64rjymdfeav7xe7gfmsq42ktwk (nprofile…ktwk) For this question, I think it depends which reals you are considering. (Cauchy? Dedekind?)