---

Step * of Lemma oalist_subtype_oal_mon

∀a:LOSet. ∀b:AbDMon.  (|oal(a;b)| ⊆r |oal_mon(a;b)|)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}a:LOSet.  \mforall{}b:AbDMon.    (|oal(a;b)|  \msubseteq{}r  |oal\_mon(a;b)|)


By

---

Latex:
Auto

---

Home Index