P
Initializing...
Eigenvalues of the graph unitary of $R(x)P$ in $\mathrm{Sp}(1)$ · Prove2Me