---

Step * of Lemma mon_reduce_wf

∀g:IMonoid. ∀as:|g| List.  (Π as ∈ |g|)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}g:IMonoid.  \mforall{}as:|g|  List.    (\mPi{}  as  \mmember{}  |g|)


By

---

Latex:
ProveWfLemma

---

Home Index