---

Step * of Lemma dislist_properties

∀s:DSet. ∀as:DisList{s}.  {∀x:|s|. ((x #∈ as) ≤ 1)}
BY
{ ProvePropertiesLemma }

---

Latex:

---

Latex:
\mforall{}s:DSet.  \mforall{}as:DisList\{s\}.    \{\mforall{}x:|s|.  ((x  \#\mmember{}  as)  \mleq{}  1)\}


By

---

Latex:
ProvePropertiesLemma

---

Home Index