P
Initializing...
Scalar concavity implies concavity of spectral trace · Prove2Me