---

Step * of Lemma geo-opp-side-sym

∀e:BasicGeometry. ∀a,b,p,q:Point.  (a-pq-b ⇒ b-pq-a)
BY
{ Auto }

1
1. e : BasicGeometry
2. a : Point
3. b : Point
4. p : Point
5. q : Point
6. a-pq-b
⊢ b-pq-a

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry.  \mforall{}a,b,p,q:Point.    (a-pq-b  {}\mRightarrow{}  b-pq-a)


By

---

Latex:
Auto

---

Home Index