---

Step * 1 of Lemma matrix-scalar-mul-1


1. n : ℕ
2. m : ℕ
3. r : Rng
4. M : Matrix(n;m;r)
5. x : ℕn
6. x1 : ℕm
⊢ (1 * M[x,x1]) = M[x,x1] ∈ |r|
BY
{ (RW RngNormC 0 THEN Auto) }

---

Latex:

---

Latex:

1.  n  :  \mBbbN{}
2.  m  :  \mBbbN{}
3.  r  :  Rng
4.  M  :  Matrix(n;m;r)
5.  x  :  \mBbbN{}n
6.  x1  :  \mBbbN{}m
\mvdash{}  (1  *  M[x,x1])  =  M[x,x1]


By

---

Latex:
(RW  RngNormC  0  THEN  Auto)

---

Home Index