---

Step * of Lemma int_seg_properties

∀[i,j:ℤ]. ∀[y:{i..j-}].  i ≤ y < j
BY
{ ProvePropertiesLemma }

---

Latex:

---

Latex:
\mforall{}[i,j:\mBbbZ{}].  \mforall{}[y:\{i..j\msupminus{}\}].    i  \mleq{}  y  <  j


By

---

Latex:
ProvePropertiesLemma

---

Home Index