---

Step * of Lemma mod2-2n

∀n:ℤ. (((2 * n) mod 2) = 0 ∈ ℤ)
BY
{ Assert ⌜∀n:ℕ. (((2 * n) mod 2) = 0 ∈ ℤ)⌝⋅ }

1
.....assertion..... 
∀n:ℕ. (((2 * n) mod 2) = 0 ∈ ℤ)

2
1. ∀n:ℕ. (((2 * n) mod 2) = 0 ∈ ℤ)
⊢ ∀n:ℤ. (((2 * n) mod 2) = 0 ∈ ℤ)

---

Latex:

---

Latex:
\mforall{}n:\mBbbZ{}.  (((2  *  n)  mod  2)  =  0)


By

---

Latex:
Assert  \mkleeneopen{}\mforall{}n:\mBbbN{}.  (((2  *  n)  mod  2)  =  0)\mkleeneclose{}\mcdot{}

---

Home Index