P
Initializing...
A triple-product correction to a pairwise-sum bound · Prove2Me