P
Initializing...
Theorem 5: Lieb three-matrix resolvent trace inequality · Prove2Me