Step * of Lemma neg-dM1

[J:fset(ℕ)]. (1) 0 ∈ Point(dM(J)))
BY
Auto }


Latex:


Latex:
\mforall{}[J:fset(\mBbbN{})].  (\mneg{}(1)  =  0)


By


Latex:
Auto




Home Index