Loading paper
Diagonals of self-adjoint operators with finite spectrum | Tomesphere