MarkB generic Sections NuprlLIB Doc

Def Connex(T;x,y.R(x;y)) == x,y:T. R(x;y) R(y;x)

is mentioned

In prior sections: rel 1


MarkB generic Sections NuprlLIB Doc