---

Step * 1 1 2 2 1 of Lemma eu-cong-angle-symm


1. e : EuclideanPlane@i'
2. a : Point@i
3. b : Point@i
4. c : Point@i
5. ¬(a = b ∈ Point)
6. ¬(c = b ∈ Point)
⊢ ¬(c = b ∈ Point)
BY
{ Auto }

---

Latex:

---

Latex:

1.  e  :  EuclideanPlane@i'
2.  a  :  Point@i
3.  b  :  Point@i
4.  c  :  Point@i
5.  \mneg{}(a  =  b)
6.  \mneg{}(c  =  b)
\mvdash{}  \mneg{}(c  =  b)


By

---

Latex:
Auto

---

Home Index