P
Initializing...
Lemma 6: randomized conjugated projective measurement is gentle · Prove2Me