---

Step * 1 of Lemma adjugate-property2


1. r : CRng
2. n : ℕ
3. M : Matrix(n;n;r)
⊢ |M|*I = |M|*I' ∈ Matrix(n;n;r)
BY
{ (EqCD THEN Auto) }

---

Latex:

---

Latex:

1.  r  :  CRng
2.  n  :  \mBbbN{}
3.  M  :  Matrix(n;n;r)
\mvdash{}  |M|*I  =  |M|*I'


By

---

Latex:
(EqCD  THEN  Auto)

---

Home Index