ElisTarskiPf
A
Sections
NuprlLIB
Doc
Rank
Theorem
Name
2
Thm*
t,x:Term. (t
= x)
Prop
[repst_wf]
cites
1
Thm*
t,x:Term. (t
= x)
Prop
[reps_wf2]
ElisTarskiPf
A
Sections
NuprlLIB
Doc
t,x:Term. (t 
= x) 
Propt,x:Term. (t = x) Propt,x:Term. (t = x) Propt,x:Term. (t = x) Prop