---

Step * of Lemma eu-cong-angle-symm2

∀e:EuclideanPlane. ∀a,b,c,x,y,z:Point.  (xyz = abc ⇒ abc = xyz)
BY
{ Auto }

1
1. e : EuclideanPlane@i'
2. a : Point@i
3. b : Point@i
4. c : Point@i
5. x : Point@i
6. y : Point@i
7. z : Point@i
8. xyz = abc@i
⊢ abc = xyz

---

Latex:

---

Latex:
\mforall{}e:EuclideanPlane.  \mforall{}a,b,c,x,y,z:Point.    (xyz  =  abc  {}\mRightarrow{}  abc  =  xyz)


By

---

Latex:
Auto

---

Home Index