---

Step * of Lemma add-remove-fresh-cname

∀I:Cname List. (I = [fresh-cname(I) / I]-[fresh-cname(I)] ∈ (Cname List))
BY
{ Auto }

1
1. I : Cname List
⊢ I = [fresh-cname(I) / I]-[fresh-cname(I)] ∈ (Cname List)

---

Latex:

---

Latex:
\mforall{}I:Cname  List.  (I  =  [fresh-cname(I)  /  I]-[fresh-cname(I)])


By

---

Latex:
Auto

---

Home Index