---

Step * of Lemma int_lower_properties

∀[i:ℤ]. ∀[j:{...i}].  (j ≤ i)
BY
{ ProvePropertiesLemma }

---

Latex:

---

Latex:
\mforall{}[i:\mBbbZ{}].  \mforall{}[j:\{...i\}].    (j  \mleq{}  i)


By

---

Latex:
ProvePropertiesLemma

---

Home Index