---

Step * of Lemma int_seg_cases

∀[m,n:ℤ]. ∀[x:{m..n-}].  x ∈ {m + 1..n-} supposing ¬(x = m ∈ ℤ)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[m,n:\mBbbZ{}].  \mforall{}[x:\{m..n\msupminus{}\}].    x  \mmember{}  \{m  +  1..n\msupminus{}\}  supposing  \mneg{}(x  =  m)


By

---

Latex:
Auto

---

Home Index