---

Step * of Lemma bag-member-from-upto

∀[n,m,x:ℤ].  uiff(x ↓∈ [n, m);(n ≤ x) ∧ x < m)
BY
{ ((UnivCD THENM RWW "bag-member-list from-upto-member" 0⋅) THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[n,m,x:\mBbbZ{}].    uiff(x  \mdownarrow{}\mmember{}  [n,  m);(n  \mleq{}  x)  \mwedge{}  x  <  m)


By

---

Latex:
((UnivCD  THENM  RWW  "bag-member-list  from-upto-member"  0\mcdot{})  THEN  Auto)

---

Home Index