Step * of Lemma not-parallel-implies

eu:EuclideanParPlane. ∀l,m,n:Line.  ((¬|| m)  (l || n ∧ || 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