Lemma 2.2 — $P_{C \cap H_i}[\bar x^i] = P_{C \cap H_i}[x^i]$ with $\bar x^i = P_{H_i}[x^i]$

Initializing...

Lemma 2.2 — $P_{C \cap H_i}[\bar x^i] = P_{C \cap H_i}[x^i]$ with $\bar x^i = P_{H_i}[x^i]$ · Prove2Me