P
Initializing...
Eigen-angle sum of the graph unitary of $\mathrm{diag}(I_2,g)$ · Prove2Me