P
Initializing...
Lemma 6 — if e is dependent on P₁ but on no proper subset of P₁, then P₁ + e is a circuit · Prove2Me