ElisTarskiPf
A
Sections
NuprlLIB
Doc
Def
x
= y == x
t &
x = y
t
is mentioned by
Thm*
t:Term.
t
= t
[up_reps]
Def
x
= y == x
= y
[repst]
ElisTarskiPf
A
Sections
NuprlLIB
Doc
t:Term. 
t 
= t= y == x = y= y == x 
t & x = y t
t:Term. t = t= y == x = y