MarkB generic Sections NuprlLIB Doc

Def Symmetrize(x,y.R(x;y);a;b) == R(a;b) & R(b;a)

is mentioned

In prior sections: rel 1


MarkB generic Sections NuprlLIB Doc