P
Initializing...
Tao Lemma 4.11 for $S_{\eta_0,2}$: the Vaughan Type I / Type II split, uncentred · Prove2Me