Where can I find a proof that a distal continuous function of a compact metric space is surjective?
PS: The person asking the question Is there an elementary proof that distal maps are invertible? says he knows two proofs that use the enveloping semigroup, and the Stone-Čech compactification. I am interested in the references where I can find those proofs