P
Initializing...
A mixed quadratic-cubic lower bound · Prove2Me