---

Step * of Lemma oal_lk_wf

∀s:LOSet. ∀g:AbDMon. ∀ps:|oal(s;g)|.  ((¬(ps = 00 ∈ |oal(s;g)|)) ⇒ (lk(ps) ∈ |s|))
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}s:LOSet.  \mforall{}g:AbDMon.  \mforall{}ps:|oal(s;g)|.    ((\mneg{}(ps  =  00))  {}\mRightarrow{}  (lk(ps)  \mmember{}  |s|))


By

---

Latex:
ProveWfLemma

---

Home Index