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