---

Step * of Lemma stable__geo-opp-side

∀[e:BasicGeometry]. ∀[A,B,P,Q:Point].  Stable{P-AB-Q}
BY
{ Auto }

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

---

Latex:

---

Latex:
\mforall{}[e:BasicGeometry].  \mforall{}[A,B,P,Q:Point].    Stable\{P-AB-Q\}


By

---

Latex:
Auto

---

Home Index