P
Initializing...
Lemma 1 — $P_{\mathbf a|\mathbf x=\mathbf 0}=\langle\Gamma_{\mathbf a}|P_{\mathbf a,\mathbf b|\mathbf x,\mathbf y}\rangle$ (corrected: transposed tables) · Prove2Me