---

Step * of Lemma geo-cong-preserves-lt

∀e:BasicGeometry. ∀p,q,p1,q1:Length.  (p < q ⇒ (p = p1 ∈ Length) ⇒ (q = q1 ∈ Length) ⇒ p1 < q1)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry.  \mforall{}p,q,p1,q1:Length.    (p  <  q  {}\mRightarrow{}  (p  =  p1)  {}\mRightarrow{}  (q  =  q1)  {}\mRightarrow{}  p1  <  q1)


By

---

Latex:
Auto

---

Home Index