---

Step * of Lemma complete-pgeo-dual_wf

∀[pg:ProjectivePlaneStructure]. ∀[l:Line].  (complete-pgeo-dual(pg;l) ∈ ProjectivePlaneStructureComplete)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[pg:ProjectivePlaneStructure].  \mforall{}[l:Line].
    (complete-pgeo-dual(pg;l)  \mmember{}  ProjectivePlaneStructureComplete)


By

---

Latex:
ProveWfLemma

---

Home Index