P
Initializing...
A cyclic weighted-square lower bound · Prove2Me