---

Step * of Lemma Binet-Cauchy-corollary

∀[r:CRng]. ∀[a,b:ℕ3 ⟶ |r|].  (((a x b) . (a x b)) = (((a . a) * (b . b)) +r (-r ((a . b) * (b . a)))) ∈ |r|)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[r:CRng].  \mforall{}[a,b:\mBbbN{}3  {}\mrightarrow{}  |r|].
    (((a  x  b)  .  (a  x  b))  =  (((a  .  a)  *  (b  .  b))  +r  (-r  ((a  .  b)  *  (b  .  a)))))


By

---

Latex:
Auto

---

Home Index