---

Step * of Lemma geo-not-gt-to-ge

No Annotations
∀g:EuclideanPlane. ∀x,y,e,f:Point.  ((¬xy > ef) ⇒ ef ≥ xy)
BY
{ Auto }

1
1. g : EuclideanPlane
2. x : Point
3. y : Point
4. e : Point
5. f : Point
6. ¬xy > ef
⊢ ef ≥ xy

---

Latex:

---

Latex:
No  Annotations
\mforall{}g:EuclideanPlane.  \mforall{}x,y,e,f:Point.    ((\mneg{}xy  >  ef)  {}\mRightarrow{}  ef  \mgeq{}  xy)


By

---

Latex:
Auto

---

Home Index