---

Step * of Lemma algebra_properties

∀A:Rng. ∀m:algebra{i:l}(A).
  (IsMonoid(m.car;m.times;m.one) ∧ BiLinear(m.car;m.plus;m.times) ∧ (∀a:|A|. Dist1op2opLR(m.car;m.act a;m.times)))
BY
{ ProvePropertiesLemma }

---

Latex:

---

Latex:
\mforall{}A:Rng.  \mforall{}m:algebra\{i:l\}(A).
    (IsMonoid(m.car;m.times;m.one)
    \mwedge{}  BiLinear(m.car;m.plus;m.times)
    \mwedge{}  (\mforall{}a:|A|.  Dist1op2opLR(m.car;m.act  a;m.times)))


By

---

Latex:
ProvePropertiesLemma

---

Home Index