P
Initializing...
A quadratic norm bound for a triple product · Prove2Me