---

Step * of Lemma adj-solution_wf

∀[r:CRng]. ∀[n,m:ℕ]. ∀[A:Matrix(n;n;r)]. ∀[c:|r|]. ∀[b:Matrix(n;m;r)].  (adj-solution(r;n;A;c;b) ∈ Matrix(n;m;r))
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[r:CRng].  \mforall{}[n,m:\mBbbN{}].  \mforall{}[A:Matrix(n;n;r)].  \mforall{}[c:|r|].  \mforall{}[b:Matrix(n;m;r)].
    (adj-solution(r;n;A;c;b)  \mmember{}  Matrix(n;m;r))


By

---

Latex:
ProveWfLemma

---

Home Index