---

Step * 1 of Lemma mul_poly-sq


∀[q:iMonomial() List]. (mul_ipoly([];q) ~ mul-ipoly([];q))
BY
{ (RepUR ``mul_ipoly mul-ipoly`` 0 THEN Auto) }

---

Latex:

---

Latex:

\mforall{}[q:iMonomial()  List].  (mul\_ipoly([];q)  \msim{}  mul-ipoly([];q))


By

---

Latex:
(RepUR  ``mul\_ipoly  mul-ipoly``  0  THEN  Auto)

---

Home Index