P
Initializing...
Lemma 5: matrix elements and a full trace · Prove2Me