---

Step * of Lemma int_upper_subtype_int_upper

∀[n,m:ℤ].  {n...} ⊆r {m...} supposing m ≤ n
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[n,m:\mBbbZ{}].    \{n...\}  \msubseteq{}r  \{m...\}  supposing  m  \mleq{}  n


By

---

Latex:
Auto

---

Home Index