---

Step * of Lemma Russell-theorem-ext

¬(Type ∈ Type)
BY
{ Extract of Obid: Russell-theorem
  not unfolding  
  finishing with xxxAutoxxx
  normalizes to:
  
  λ_.Ax }

---

Latex:

---

Latex:
\mneg{}(Type  \mmember{}  Type)


By

---

Latex:
Extract  of  Obid:  Russell-theorem
not  unfolding   
finishing  with  xxxAutoxxx
normalizes  to:

\mlambda{}$_{}$.Ax

---

Home Index