---

Step * of Lemma sub_functionality_wrt_le

∀[i1,i2,j1,j2:ℤ].  ((i1 - i2) ≤ (j1 - j2)) supposing ((i2 ≥ j2 ) and (i1 ≤ j1))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[i1,i2,j1,j2:\mBbbZ{}].    ((i1  -  i2)  \mleq{}  (j1  -  j2))  supposing  ((i2  \mgeq{}  j2  )  and  (i1  \mleq{}  j1))


By

---

Latex:
Auto

---

Home Index