P
Initializing...
Proof of Lemma A.1, p. 25 — Tr V = Tr V^∥ + Tr V^⊥ · Prove2Me