ElisTarskiPf
A
Sections
NuprlLIB
Doc
Rank
Theorem
Name
2
Thm*
t:Term.
t
= t
[up_repst]
cites
1
Thm*
t:Term.
t
= t
[up_reps]
ElisTarskiPf
A
Sections
NuprlLIB
Doc
t:Term. 
t 
= tt:Term. t = tt:Term. t = tt:Term. t = t