P
Initializing...
Theorem 2: Lieb concavity of trace exp(K+log A) · Prove2Me