---

Step * of Lemma r3-dp-prim_wf

r3-dp-prim() ∈ DualPlanePrimitives
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
r3-dp-prim()  \mmember{}  DualPlanePrimitives


By

---

Latex:
ProveWfLemma

---

Home Index