---

Step * of Lemma geo-Aparallel_sym

∀e:EuclideanPlane. ∀l,m:LINE.  (l || m ⇒ m || l)
BY
{ (Auto THEN RepeatFor 2 (ParallelLast) THEN EAuto 1) }

---

Latex:

---

Latex:
\mforall{}e:EuclideanPlane.  \mforall{}l,m:LINE.    (l  ||  m  {}\mRightarrow{}  m  ||  l)


By

---

Latex:
(Auto  THEN  RepeatFor  2  (ParallelLast)  THEN  EAuto  1)

---

Home Index