Loading paper
A double-exponential lower bound for $r_4(5,n)$ | Tomesphere