---

Step * of Lemma abdmonoid_inc

AbDMon ⊆r AbDMon{[i | j]}
BY
{ Auto }

---

Latex:

---

Latex:
AbDMon  \msubseteq{}r  AbDMon\{[i  |  j]\}


By

---

Latex:
Auto

---

Home Index