---

Step * of Lemma lt_transitivity_1

∀[i,j,k:ℤ].  (i < k) supposing ((j ≤ k) and i < j)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[i,j,k:\mBbbZ{}].    (i  <  k)  supposing  ((j  \mleq{}  k)  and  i  <  j)


By

---

Latex:
Auto

---

Home Index