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