P
Initializing...
Theorem 5 (Wall 2013): eigenvalue majorization under positive unital trace-preserving maps · Prove2Me