Ha, I immediately thought of König’s Lemma, but failed to notice that the concreteness of the situation means we don’t need DC… that’s the danger of not doing it from scratch, I guess...
Ha, I immediately thought of König’s Lemma, but failed to notice that the concreteness of the situation means we don’t need DC… that’s the danger of not doing it from scratch, I guess...