P
Initializing...
A power-uniform irrationality-exponent bound in the contour region · Prove2Me