---

Step * of Lemma mset_inc_a

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

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index