---

Step * of Lemma geo-add-length-cancel-left-lt3

∀e:BasicGeometry. ∀y,z:Length.  (z < 0 + y ⇐⇒ z < y)
BY
{ Auto }

1
1. e : BasicGeometry
2. y : Length
3. z : Length
4. z < 0 + y
⊢ z < y

2
1. e : BasicGeometry
2. y : Length
3. z : Length
4. z < y
⊢ z < 0 + y

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry.  \mforall{}y,z:Length.    (z  <  0  +  y  \mLeftarrow{}{}\mRightarrow{}  z  <  y)


By

---

Latex:
Auto

---

Home Index