---

Step * 1 of Lemma rng_times_over_plus


1. r : Rng
⊢ BiLinear(|r|;+r;*)
BY
{ AddAllProperties 1 THEN Auto }

---

Latex:

---

Latex:

1.  r  :  Rng
\mvdash{}  BiLinear(|r|;+r;*)


By

---

Latex:
AddAllProperties  1  THEN  Auto

---

Home Index