P
Initializing...
Tao Proposition 4.8: lower bound for the major-arc L^2 mass of S_{eta,q} · Prove2Me