---

Step * of Lemma mset_qinc

∀s:DSet. ((|s| List) ⊆r MSet{s})
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}s:DSet.  ((|s|  List)  \msubseteq{}r  MSet\{s\})


By

---

Latex:
Auto

---

Home Index