---

Step * of Lemma mon_assoc

∀[g:IMonoid]. ∀[a,b,c:|g|].  ((a * (b * c)) = ((a * b) * c) ∈ |g|)
BY
{ Fold `assoc` 0 }

1
∀[g:IMonoid]. Assoc(|g|;*)

---

Latex:

---

Latex:
\mforall{}[g:IMonoid].  \mforall{}[a,b,c:|g|].    ((a  *  (b  *  c))  =  ((a  *  b)  *  c))


By

---

Latex:
Fold  `assoc`  0

---

Home Index