graph 1 3 Sections Graphs Doc

Def isl(x) == InjCase(x; y. true; z. false)

is mentioned

In prior sections: union graph 1 1

Try larger context: Graphs

graph 1 3 Sections Graphs Doc