x
s.InjCase(x; a. E(a;i), false
))xs.InjCase(x; a. false, E(a;i)))xs.InjCase(x; a. E(a;i), E(a;i)))xL.P(x)) == reduce(
x,b. P(x) 
b;false;L)
is mentioned by
| Def member-left-paren(x,y.E(x;y);i;s) == (xs.InjCase(x; a. E(a;i), false)) | [member-left-paren] |
| Def member-right-paren(x,y.E(x;y);i;s) == (xs.InjCase(x; a. false, E(a;i))) | [member-right-paren] |
| Def member-paren(x,y.E(x;y);i;s) == (xs.InjCase(x; a. E(a;i), E(a;i))) | [member-paren] |
In prior sections: graph 1 1
Try larger context:
Graphs