P
Initializing...
Ramanujan–Petersson for cusp forms of weight $1$ (Deligne–Serre 1974) · Prove2Me