---

Step * of Lemma not-parallel-implies

∀eu:EuclideanParPlane. ∀l,m,n:Line.  ((¬l || m) ⇒ (¬(l || n ∧ m || n)))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}eu:EuclideanParPlane.  \mforall{}l,m,n:Line.    ((\mneg{}l  ||  m)  {}\mRightarrow{}  (\mneg{}(l  ||  n  \mwedge{}  m  ||  n)))


By

---

Latex:
Auto

---

Home Index