---

Step * 1 of Lemma stable__geo-opp-side


1. e : BasicGeometry
2. A : Point
3. B : Point
4. P : Point
5. Q : Point
⊢ Stable{P-AB-Q}
BY
{ ((Unfold `geo-opp-side` 0 THEN Auto) THEN RepeatFor 2 ((BLemma `stable__and` THEN Auto))) }

---

Latex:

---

Latex:

1.  e  :  BasicGeometry
2.  A  :  Point
3.  B  :  Point
4.  P  :  Point
5.  Q  :  Point
\mvdash{}  Stable\{P-AB-Q\}


By

---

Latex:
((Unfold  `geo-opp-side`  0  THEN  Auto)  THEN  RepeatFor  2  ((BLemma  `stable\_\_and`  THEN  Auto)))

---

Home Index