Graphs
Sections
NuprlLIB
Doc
Def
member-left-paren(x,y.E(x;y);i;s) == (
x
s.InjCase(x; a. E(a;i), false
))
is mentioned
In prior sections:
graph
1
2
Graphs
Sections
NuprlLIB
Doc
x
s.InjCase(x; a. E(a;i), false
))