Loading paper
IP-rigidity and eigenvalue groups | Tomesphere