---

Step * 1 1 1 1 of Lemma stable_point-eq


1. e : EuclideanPlane
2. p : Point
3. q : Point
4. p = q ∈ Point
⊢ qq=qq
BY
{ (D 1 THEN Unhide THEN Auto) }

---

Latex:

---

Latex:

1.  e  :  EuclideanPlane
2.  p  :  Point
3.  q  :  Point
4.  p  =  q
\mvdash{}  qq=qq


By

---

Latex:
(D  1  THEN  Unhide  THEN  Auto)

---

Home Index