P
Initializing...
Equal traces of every real power of the two Gram operators · Prove2Me