ElisTarskiPf
B
Sections
NuprlLIB
Doc
Def
A & B == A
B
is mentioned by
Def
x reps y
t == x IN t & ref(x) = y
t
[reps]
ElisTarskiPf
B
Sections
NuprlLIB
Doc
t == x IN t & ref(x) = y t
B
t == x IN t & ref(x) = y t