P
Initializing...
Proposition 8.4 with corrected constant: $L^2$ estimate off the strongly major arc ($7.4$) · Prove2Me