---

Step * of Lemma upper_subtype_upper

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

---

Latex:

---

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


By

---

Latex:
xxxAutoxxx

---

Home Index