---

Step * of Lemma stable_rv-congruent

∀[n:ℕ]. ∀[a,b,c,d:ℝ^n].  Stable{ab=cd}
BY
{ (Auto THEN Unfold `rv-congruent` 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[n:\mBbbN{}].  \mforall{}[a,b,c,d:\mBbbR{}\^{}n].    Stable\{ab=cd\}


By

---

Latex:
(Auto  THEN  Unfold  `rv-congruent`  0  THEN  Auto)

---

Home Index