---

Step * 1 1 1 1 1 of Lemma odd-l_sum


1. T : Type
⊢ ∀f:{x:T| (x ∈ [])}  ⟶ ℤ. (0 ~ 0)
BY
{ Auto }

---

Latex:

---

Latex:

1.  T  :  Type
\mvdash{}  \mforall{}f:\{x:T|  (x  \mmember{}  [])\}    {}\mrightarrow{}  \mBbbZ{}.  (0  \msim{}  0)


By

---

Latex:
Auto

---

Home Index