---

Step * of Lemma imon_properties

∀[g:IMonoid]. IsMonoid(|g|;*;e)
BY
{ ProvePropertiesLemma }

---

Latex:

---

Latex:
\mforall{}[g:IMonoid].  IsMonoid(|g|;*;e)


By

---

Latex:
ProvePropertiesLemma

---

Home Index