Trace positivity: $\operatorname{Re}\operatorname{tr}(AB) \ge 0$ for positive semidefinite $A, B$

Initializing...

Trace positivity: $\operatorname{Re}\operatorname{tr}(AB) \ge 0$ for positive semidefinite $A, B$ · Prove2Me