P
Initializing...
The Grover iterate is an isometry · Prove2Me