P
Initializing...
The real-axis half implies $\pi^2$ is transcendental · Prove2Me