---

Step * 1 2 1 of Lemma oal_polyalg_wf


1. s : LOSet@i'
2. a : CDRng@i'
⊢ omral_fma(oal_hgp(s;<ℤ+>);a) ∈ FMonAlg(oal_hgp(s;<ℤ+>);a)
BY
{ Auto }

---

Latex:

---

Latex:

1.  s  :  LOSet@i'
2.  a  :  CDRng@i'
\mvdash{}  omral\_fma(oal\_hgp(s;<\mBbbZ{}+>);a)  \mmember{}  FMonAlg(oal\_hgp(s;<\mBbbZ{}+>);a)


By

---

Latex:
Auto

---

Home Index