Step
*
2
1
of Lemma
unshuffle-map'
.....equality..... 
1. f : ℕ ⟶ Top
2. m : ℕ
3. r : ℕ2
4. ¬(r = 0 ∈ ℤ)
⊢ r ~ 1
BY
{ Auto }
Latex:
Latex:
.....equality..... 
1.  f  :  \mBbbN{}  {}\mrightarrow{}  Top
2.  m  :  \mBbbN{}
3.  r  :  \mBbbN{}2
4.  \mneg{}(r  =  0)
\mvdash{}  r  \msim{}  1
By
Latex:
Auto
Home
Index