Post #1506858

@jdw @cbaberle oh, you're right, thanks for the correction! I think you can pick an arbitrary map with finite fibres for the primes, but permuting them is enough to show there are uncountably many maps, and is simpler, so that's what I went with.