---

Step * of Lemma pgeo-psep-test

∀g:ProjectivePlane. ∀a,b,a1,b1:Point.  (a ≡ a1 ⇒ b ≡ b1 ⇒ a ≡ b ⇒ a1 ≡ b1)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}g:ProjectivePlane.  \mforall{}a,b,a1,b1:Point.    (a  \mequiv{}  a1  {}\mRightarrow{}  b  \mequiv{}  b1  {}\mRightarrow{}  a  \mequiv{}  b  {}\mRightarrow{}  a1  \mequiv{}  b1)


By

---

Latex:
Auto

---

Home Index