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