---

Step * of Lemma fmonalg_wf

∀g:AbMon. ∀a:CRng.  (FMonAlg(g;a) ∈ 𝕌')
BY
{ ((Unfold `fmonalg` 0) THEN WithCumulativity Auto) }

---

Latex:

---

Latex:
\mforall{}g:AbMon.  \mforall{}a:CRng.    (FMonAlg(g;a)  \mmember{}  \mBbbU{}')


By

---

Latex:
((Unfold  `fmonalg`  0)  THEN  WithCumulativity  Auto)

---

Home Index