---

Step * 1 of Lemma sq_stable__geo-perp-in


1. e : BasicGeometry
2. x : Point
3. [a] : Point
4. [b] : Point
5. [c] : Point
6. [d] : Point
7. Stable{ab  ⊥x cd}
⊢ SqStable(ab  ⊥x cd)
BY
{ EAuto 1 }

---

Latex:

---

Latex:

1.  e  :  BasicGeometry
2.  x  :  Point
3.  [a]  :  Point
4.  [b]  :  Point
5.  [c]  :  Point
6.  [d]  :  Point
7.  Stable\{ab    \mbot{}x  cd\}
\mvdash{}  SqStable(ab    \mbot{}x  cd)


By

---

Latex:
EAuto  1

---

Home Index