---

Step * of Lemma add-ipoly-equiv

No Annotations
∀p,q:iMonomial() List.  ipolynomial-term(add-ipoly(p;q)) ≡ ipolynomial-term(p) (+) ipolynomial-term(q)
BY
{ Auto }

1
1. p : iMonomial() List
2. q : iMonomial() List
⊢ ipolynomial-term(add-ipoly(p;q)) ≡ ipolynomial-term(p) (+) ipolynomial-term(q)

---

Latex:

---

Latex:
No  Annotations
\mforall{}p,q:iMonomial()  List.
    ipolynomial-term(add-ipoly(p;q))  \mequiv{}  ipolynomial-term(p)  (+)  ipolynomial-term(q)


By

---

Latex:
Auto

---

Home Index