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