P
Initializing...
An eventual square-root error bound from weak testing · Prove2Me