P

Initializing...

Corollary 4 (Wall 2013): $\operatorname{tr} f(\rho)$ is nondecreasing for concave $f$ · Prove2Me