P
Initializing...
The real-generic case is equivalent to one relation: t² + π² is transcendental · Prove2Me