Under the n = 2 case of Kirby's weak Schanuel conjecture, Diaz's conjecture is equivalent to: t² + π² is transcendental for every real t ≠ 0 with e^t algebraic

Initializing...

Under the n = 2 case of Kirby's weak Schanuel conjecture, Diaz's conjecture is equivalent to: t² + π² is transcendental for every real t ≠ 0 with e^t algebraic · Prove2Me