P
Initializing...
An auxiliary function with integer coefficients, small on a polydisc (Thue–Siegel, Proposition 4.10) · Prove2Me