SUPPORTjlc
Sections
NuprlLIB
Doc
Def
Sym x,y:T. E(x;y) ==
a,b:T. E(a;b)
E(b;a)
is mentioned
In prior sections:
rel
1
SUPPORTjlc
Sections
NuprlLIB
Doc
a,b:T. E(a;b) 
E(b;a)