---

Step * 1 of Lemma polynom_wf

.....truecase..... 
1. n : ℕ
2. ∀n:ℕn. ((polynom(n) ∈ Type) ∧ (polynom(n) ⊆r polyform(n)))
3. n = 0 ∈ ℤ
⊢ (ℤ ∈ Type) ∧ (ℤ ⊆r ℤ)
BY
{ Auto }

---

Latex:

---

Latex:
.....truecase..... 
1.  n  :  \mBbbN{}
2.  \mforall{}n:\mBbbN{}n.  ((polynom(n)  \mmember{}  Type)  \mwedge{}  (polynom(n)  \msubseteq{}r  polyform(n)))
3.  n  =  0
\mvdash{}  (\mBbbZ{}  \mmember{}  Type)  \mwedge{}  (\mBbbZ{}  \msubseteq{}r  \mBbbZ{})


By

---

Latex:
Auto

---

Home Index