P
Initializing...
Third-order expansion of the Gamma prefactor of Conjecture 5.6 · Prove2Me