---

Step * of Lemma stable__geo-midpoint

∀e:BasicGeometry. ∀[m,a,b:Point].  Stable{a=m=b}
BY
{ ((RepUR ``geo-midpoint`` 0 THEN Auto) THEN BLemma `stable__and` THEN Auto) }

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry.  \mforall{}[m,a,b:Point].    Stable\{a=m=b\}


By

---

Latex:
((RepUR  ``geo-midpoint``  0  THEN  Auto)  THEN  BLemma  `stable\_\_and`  THEN  Auto)

---

Home Index