---

Step * of Lemma int_iseg_properties

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

---

Latex:

---

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


By

---

Latex:
ProvePropertiesLemma

---

Home Index