---

Step * 1 of Lemma rng_times_when_l


1. r : Rng
2. u : |r|
3. v : |r|
⊢ (u * v) = (u * v) ∈ |r|
BY
{ Auto }

---

Latex:

---

Latex:

1.  r  :  Rng
2.  u  :  |r|
3.  v  :  |r|
\mvdash{}  (u  *  v)  =  (u  *  v)


By

---

Latex:
Auto

---

Home Index