P

Initializing...

Lemma 2, p. 2 — the logical operators in a closed group of unitaries form a closed subgroup · Prove2Me