Step
*
1
1
of Lemma
upto_is_nil
1. n : ℕ
⊢ uiff(n ≤ 0;n = 0 ∈ ℤ)
BY
{ Auto' }
Latex:
Latex:
1.  n  :  \mBbbN{}
\mvdash{}  uiff(n  \mleq{}  0;n  =  0)
By
Latex:
Auto'
Home
Index