---

Step * 3 2 1 of Lemma free-group-adjunction


1. b1 : Group{i}
2. b2 : Group{i}
3. g : MonHom(b1,b2)
4. x : |b1|
⊢ (g (e * x)) = (e * (g x)) ∈ |b2|
BY
{ (RW  GrpNormC 0 THEN Auto) }

---

Latex:

---

Latex:

1.  b1  :  Group\{i\}
2.  b2  :  Group\{i\}
3.  g  :  MonHom(b1,b2)
4.  x  :  |b1|
\mvdash{}  (g  (e  *  x))  =  (e  *  (g  x))


By

---

Latex:
(RW    GrpNormC  0  THEN  Auto)

---

Home Index