---

Step * of Lemma geo-le-pt-comm

∀e:BasicGeometry. ∀a,b:Point.  ab≤ba
BY
{ Auto }

1
1. e : BasicGeometry
2. a : Point
3. b : Point
⊢ ab≤ba

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry.  \mforall{}a,b:Point.    ab\mleq{}ba


By

---

Latex:
Auto

---

Home Index