graph 1 3 Sections Graphs Doc

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

is mentioned

In prior sections: graph 1 2

Try larger context: Graphs

graph 1 3 Sections Graphs Doc