---

Step * of Lemma transpose-matrix-minor

∀[i,j,M:Top].  (matrix-minor(i;j;M)' ~ matrix-minor(j;i;M'))
BY
{ (Auto THEN RepUR ``matrix-transpose matrix-minor`` 0 THEN Fold `mx` 0 THEN EqCDA THEN Reduce 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[i,j,M:Top].    (matrix-minor(i;j;M)'  \msim{}  matrix-minor(j;i;M'))


By

---

Latex:
(Auto
  THEN  RepUR  ``matrix-transpose  matrix-minor``  0
  THEN  Fold  `mx`  0
  THEN  EqCDA
  THEN  Reduce  0
  THEN  Auto)

---

Home Index