P

Initializing...

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