MarkB generic 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 mb nat mb list 2


MarkB generic Sections NuprlLIB Doc