Weyl's inequality: sorted eigenvalues of Hermitian matrices are monotone in the Loewner order

Initializing...

Weyl's inequality: sorted eigenvalues of Hermitian matrices are monotone in the Loewner order · Prove2Me