P

Initializing...

A symmetric quartic bound involving a triple product · Prove2Me