P

Initializing...

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