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