P
Initializing...
A quadratic norm minus triple-product bound · Prove2Me