Loading paper
Majorization between symplectic spectra of positive semidefinite matrices | Tomesphere