---

Step * of Lemma base-CP_wf

base-CP() ∈ ℙ
BY
{ (ProveWfLemma THEN ∀h:hyp. Isect2HD h  THEN Auto) }

---

Latex:

---

Latex:
base-CP()  \mmember{}  \mBbbP{}


By

---

Latex:
(ProveWfLemma  THEN  \mforall{}h:hyp.  Isect2HD  h    THEN  Auto)

---

Home Index