Loading paper
On the infinitary van der Waerden Theorem | Tomesphere