---

Step * of Lemma iabmonoid_properties

∀[g:IAbMonoid]. Comm(|g|;*)
BY
{ ProvePropertiesLemma }

---

Latex:

---

Latex:
\mforall{}[g:IAbMonoid].  Comm(|g|;*)


By

---

Latex:
ProvePropertiesLemma

---

Home Index