---

Step * of Lemma polyalg_poly_wf

∀S:DSet. ∀A:CRng. ∀p:polynom_alg{i:l}(S;A).  (p.poly ∈ FMonAlg(p.mo.mon;A))
BY
{ ModulePiTac 2 ``polyalg_mo polyalg_poly`` }

---

Latex:

---

Latex:
\mforall{}S:DSet.  \mforall{}A:CRng.  \mforall{}p:polynom\_alg\{i:l\}(S;A).    (p.poly  \mmember{}  FMonAlg(p.mo.mon;A))


By

---

Latex:
ModulePiTac  2  ``polyalg\_mo  polyalg\_poly``

---

Home Index