---

Step * of Lemma line-perspective_wf

∀g:ProjectivePlane. ∀l,m,n,L,M,N,y:Line.  (LPerspective(LΔ(l;m;n);LΔ(L;M;N);y) ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}g:ProjectivePlane.  \mforall{}l,m,n,L,M,N,y:Line.    (LPerspective(L\mDelta{}(l;m;n);L\mDelta{}(L;M;N);y)  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index