P
Initializing...
A cyclic quartic bound involving a triple product · Prove2Me