---

Step * 1 of Lemma mon_assoc


∀[g:IMonoid]. Assoc(|g|;*)
BY
{ D 0 THENM D (-1) THENA Auto }

1
1. g : GrpSig
2. IsMonoid(|g|;*;e)
⊢ Assoc(|g|;*)

---

Latex:

---

Latex:

\mforall{}[g:IMonoid].  Assoc(|g|;*)


By

---

Latex:
D  0  THENM  D  (-1)  THENA  Auto

---

Home Index