---

Step * 2 of Lemma Russell-property

.....wf..... 
Russell ∈ Russell ∈ 𝕌'
BY
{ (InstLemma `equal-wf-base` [⌜parm{i'}⌝;⌜Russell⌝;⌜Russell⌝;⌜Russell⌝]⋅ THEN Auto) }

---

Latex:

---

Latex:
.....wf..... 
Russell  \mmember{}  Russell  \mmember{}  \mBbbU{}'


By

---

Latex:
(InstLemma  `equal-wf-base`  [\mkleeneopen{}parm\{i'\}\mkleeneclose{};\mkleeneopen{}Russell\mkleeneclose{};\mkleeneopen{}Russell\mkleeneclose{};\mkleeneopen{}Russell\mkleeneclose{}]\mcdot{}  THEN  Auto)

---

Home Index