---

Step * 1 of Lemma massoc_equiv_rel


1. g : IAbMonoid@i'
⊢ EquivRel(|g|;x,y.Symmetrize(x,y.x | y;x;y))
BY
{ Backchain ``symmetrized_preorder mdivides_preorder``  
THEN Auto }

---

Latex:

---

Latex:

1.  g  :  IAbMonoid@i'
\mvdash{}  EquivRel(|g|;x,y.Symmetrize(x,y.x  |  y;x;y))


By

---

Latex:
Backchain  ``symmetrized\_preorder  mdivides\_preorder``   
THEN  Auto

---

Home Index