---

Step * 1 1 of Lemma rec-value-list-is-rec-value

.....wf..... 
[] ∈ atomic-values()
BY
{ RepeatFor 2 ((MemTypeCD THEN Auto)) }

---

Latex:

---

Latex:
.....wf..... 
[]  \mmember{}  atomic-values()


By

---

Latex:
RepeatFor  2  ((MemTypeCD  THEN  Auto))

---

Home Index