---

Step * of Lemma geo-le-iff

No Annotations
∀e:BasicGeometry. ∀A,B,C,P:Point.  (|AB| ≤ |CP| ⇐⇒ CP ≥ AB)
BY
{ Auto }

1
1. e : BasicGeometry
2. A : Point
3. B : Point
4. C : Point
5. P : Point
6. |AB| ≤ |CP|
⊢ CP ≥ AB

2
1. e : BasicGeometry
2. A : Point
3. B : Point
4. C : Point
5. P : Point
6. CP ≥ AB
⊢ |AB| ≤ |CP|

---

Latex:

---

Latex:
No  Annotations
\mforall{}e:BasicGeometry.  \mforall{}A,B,C,P:Point.    (|AB|  \mleq{}  |CP|  \mLeftarrow{}{}\mRightarrow{}  CP  \mgeq{}  AB)


By

---

Latex:
Auto

---

Home Index