P
Initializing...
A cyclic quadratic ratio bound with a triple-product correction · Prove2Me