P
Initializing...
A quadratic and triple-product bound at unit sum · Prove2Me