P
Initializing...
Theorem A with Weil's explicit formula as the only assumption · Prove2Me