---

Step * of Lemma mset_inc

∀g:OCMon. (MSet{g↓set} ⊆r MSet{g↓oset})
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}g:OCMon.  (MSet\{g\mdownarrow{}set\}  \msubseteq{}r  MSet\{g\mdownarrow{}oset\})


By

---

Latex:
Auto

---

Home Index