---

Step * of Lemma geo-le-congruent

∀g:BasicGeometry. ∀a,b,c,d:Point.  ((|ab| ≤ |cd| ∧ |cd| ≤ |ab|) ⇒ ab ≅ cd)
BY
{ (Auto THEN FLemma `geo-le_antisymmetry` [-1;-2] THEN EAuto 1) }

---

Latex:

---

Latex:
\mforall{}g:BasicGeometry.  \mforall{}a,b,c,d:Point.    ((|ab|  \mleq{}  |cd|  \mwedge{}  |cd|  \mleq{}  |ab|)  {}\mRightarrow{}  ab  \mcong{}  cd)


By

---

Latex:
(Auto  THEN  FLemma  `geo-le\_antisymmetry`  [-1;-2]  THEN  EAuto  1)

---

Home Index