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


1. fset(ℕ)
2. : ℕ
⊢ ((i0) i) 0 ∈ Point(dM(I+i))
BY
(RepUR ``nc-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