---

Step * 1 of Lemma rP_to_term-int_term_to_rP

.....assertion..... 
(int_term() ⊆r Base) ∧ ((iPolynomial() List) ⊆r Base)
BY
{ Auto }

---

Latex:

---

Latex:
.....assertion..... 
(int\_term()  \msubseteq{}r  Base)  \mwedge{}  ((iPolynomial()  List)  \msubseteq{}r  Base)


By

---

Latex:
Auto

---

Home Index