Erdős-Rado Theorem A presentation of Erdős–Rado Theorem (an infinitary version of Ramsey's Theorem) written in Typst slydst