3 ms·
could have been much worse: https://en.wikipedia.org/wiki/Dedekind_cut https://en.wikipedia.org/wiki/Dedekind_cut
by shoo 5y ago
could have been much worse: https://en.wikipedia.org/wiki/Dedekind_cut https://en.wikipedia.org/wiki/Dedekind_cut
loading thread…