P
Initializing...
Lemma 4.22 — simultaneous biunitary diagonalization · Prove2Me