---

Step * 1 2 1 of Lemma rng_plus_comm


1. r : Rng
2. a : |r|
3. b : |r|
4. (a +r b) = (b +r a) ∈ |r|
⊢ (a +r b) = (b +r a) ∈ |r|
BY
{ Trivial }

---

Latex:

---

Latex:

1.  r  :  Rng
2.  a  :  |r|
3.  b  :  |r|
4.  (a  +r  b)  =  (b  +r  a)
\mvdash{}  (a  +r  b)  =  (b  +r  a)


By

---

Latex:
Trivial

---

Home Index