---

Step * of Lemma trivial-member-add-name1

∀I:fset(ℕ). ∀i:ℕ.  i ∈ I+i
BY
{ EAuto 1 }

---

Latex:

---

Latex:
\mforall{}I:fset(\mBbbN{}).  \mforall{}i:\mBbbN{}.    i  \mmember{}  I+i


By

---

Latex:
EAuto  1

---

Home Index