---

Step * 1 1 of Lemma member-nameset-diff

.....set predicate..... 
1. L : Cname List
2. X : Cname List
3. x : Cname
4. (x ∈ L)
5. ¬(x ∈ X)
⊢ (x ∈ L-X)
BY
{ (BLemma `member-list-diff` THEN Auto) }

---

Latex:

---

Latex:
.....set  predicate..... 
1.  L  :  Cname  List
2.  X  :  Cname  List
3.  x  :  Cname
4.  (x  \mmember{}  L)
5.  \mneg{}(x  \mmember{}  X)
\mvdash{}  (x  \mmember{}  L-X)


By

---

Latex:
(BLemma  `member-list-diff`  THEN  Auto)

---

Home Index