P
Initializing...
A cyclic quadratic-difference ratio lower bound · Prove2Me