P
Initializing...
A counterexample to Diaz's conjecture is transcendental over $\mathbb{Q}$ · Prove2Me