Arc split for Tao's Theorem 8.2: the factors $S_{\eta_1}$, $S_{\eta_0}$, $D_{N_0/3}$ and the strongly major arc

Initializing...

Arc split for Tao's Theorem 8.2: the factors $S_{\eta_1}$, $S_{\eta_0}$, $D_{N_0/3}$ and the strongly major arc · Prove2Me