P
Initializing...
Third-order expansion of the hypergeometric factor of Conjecture 5.6 · Prove2Me