---

Step * of Lemma calgebra_properties

∀A:Rng. ∀m:CAlg(A).  Comm(m.car;m.times)
BY
{ ProvePropertiesLemma }

---

Latex:

---

Latex:
\mforall{}A:Rng.  \mforall{}m:CAlg(A).    Comm(m.car;m.times)


By

---

Latex:
ProvePropertiesLemma

---

Home Index