P
Initializing...
A weighted sum of two squares bounds a normalized triple product · Prove2Me