---

Step * of Lemma setTC_wf

No Annotations
∀[a:Set{i:l}]. (setTC(a) ∈ Set{i:l})
BY
{ (Intro THEN Unhide) }

1
1. a : Set{i:l}
⊢ setTC(a) ∈ Set{i:l}

---

Latex:

---

Latex:
No  Annotations
\mforall{}[a:Set\{i:l\}].  (setTC(a)  \mmember{}  Set\{i:l\})


By

---

Latex:
(Intro  THEN  Unhide)

---

Home Index