---

Step * of Lemma int_seg_subtype_upper

∀[m1,n1,m2:ℤ].  {m1..n1-} ⊆r {m2...} supposing m2 ≤ m1
BY
{ xxxAutoxxx }

---

Latex:

---

Latex:
\mforall{}[m1,n1,m2:\mBbbZ{}].    \{m1..n1\msupminus{}\}  \msubseteq{}r  \{m2...\}  supposing  m2  \mleq{}  m1


By

---

Latex:
xxxAutoxxx

---

Home Index