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