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