---

Step * 1 of Lemma abmonoid_comm


1. g : IAbMonoid
⊢ Comm(|g|;*)
BY
{ D 1 THEN Auto }

---

Latex:

---

Latex:

1.  g  :  IAbMonoid
\mvdash{}  Comm(|g|;*)


By

---

Latex:
D  1  THEN  Auto

---

Home Index