---

Step * of Lemma mul_add_distrib

∀[a,b,c:ℤ].  (((a + b) * c) = ((a * c) + (b * c)) ∈ ℤ)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[a,b,c:\mBbbZ{}].    (((a  +  b)  *  c)  =  ((a  *  c)  +  (b  *  c)))


By

---

Latex:
Auto

---

Home Index