P
Initializing...
A cyclic seventh-degree mixed-product lower bound · Prove2Me