P
Initializing...
Proof of Lemma 1, pp. 5–6 — V_{n,G} is closed under adjoint when G is closed under inversion · Prove2Me