$U_\omega$ and $U_s = 2|s\rangle\langle s| - I$ are unitary · Prove2Me

P

Initializing...

$U_\omega$ and $U_s = 2|s\rangle\langle s| - I$ are unitary · Prove2Me