P
Initializing...
$U_s = 2|s\rangle\langle s| - I$ is the reflection through $|s\rangle$ · Prove2Me