P
Initializing...
A pairwise-product bound under two quadratic equalities · Prove2Me