Graphs Sections NuprlLIB Doc

Def member-paren(x,y.E(x;y);i;s) == (xs.InjCase(x; a. E(a;i), E(a;i)))

is mentioned

In prior sections: graph 1 2 graph 1 3


Graphs Sections NuprlLIB Doc