Loading paper
The Schur-Horn theorem for operators with finite spectrum | Tomesphere