2. as: (Label
Term) List3. 1of(unzip(as)) = rel_vars(r)
map(
t.term_subst2(as;t);map(t.(t)';r.args)) = map(t.term_subst(as;t);r.args)
r:rel(), as:(LabelTerm) List. 1of(unzip(as)) = rel_vars(r) 
rel_subst2(as;(r)') = rel_subst(as;r)
| 1 | 1. r: rel() 2. as: (Label Term) List3. 1of(unzip(as)) = rel_vars(r) map(t.term_subst2(as;t);map(t.(t)';r.args)) = map(t.term_subst(as;t);r.args) |
About:
 |  |  |  |  |  |