---

Step * 2 of Lemma name-morph-satisfies-0'


1. I : fset(ℕ)
2. i : ℕ
⊢ ((i0) i) = 0 ∈ Point(dM(I+i))
BY
{ (RepUR ``nc-0`` 0 THEN AutoSplit) }

---

Latex:

---

Latex:

1.  I  :  fset(\mBbbN{})
2.  i  :  \mBbbN{}
\mvdash{}  ((i0)  i)  =  0


By

---

Latex:
(RepUR  ``nc-0``  0  THEN  AutoSplit)

---

Home Index