---

Step * of Lemma new-name-property

∀[I:fset(ℕ)]. (¬new-name(I) ∈ I)
BY
{ (Intro THEN (Unhide THENA Auto)) }

1
1. I : fset(ℕ)
⊢ ¬new-name(I) ∈ I

---

Latex:

---

Latex:
\mforall{}[I:fset(\mBbbN{})].  (\mneg{}new-name(I)  \mmember{}  I)


By

---

Latex:
(Intro  THEN  (Unhide  THENA  Auto))

---

Home Index