P
Initializing...
Dines's theorem: vector witness for PSD averages of two quadratic forms · Prove2Me