Step * of Lemma between-preserves-left-3

e:EuclideanPlane. ∀A,B,C,V:Point.  (C leftof AB  A ≠  V_A_B  leftof VA)
BY
(Auto THEN GeometryMasterTactic true 2) }


Latex:


Latex:
\mforall{}e:EuclideanPlane.  \mforall{}A,B,C,V:Point.    (C  leftof  AB  {}\mRightarrow{}  A  \mneq{}  V  {}\mRightarrow{}  V\_A\_B  {}\mRightarrow{}  C  leftof  VA)


By


Latex:
(Auto  THEN  GeometryMasterTactic  true  2)




Home Index