Loading paper
Equality in some symplectic eigenvalue inequalities | Tomesphere