P
Initializing...
Jordan form of the Grover matrix: $U_sU_\omega = M\,\mathrm{diag}(e^{2it}, e^{-2it})\,M^{-1}$ · Prove2Me