5. i < ||r.args||
term_subst2(as;(r.args[i])') = term_subst(as;r.args[i])
Term) List
i:. i < ||map(
t.term_subst2(as;(t)');r.args)|| 
map(t.term_subst2(as;(t)');r.args)[i] = map(t.term_subst(as;t);r.args)[i]
| 1 | 4. i: 5. i < ||r.args|| term_subst2(as;(r.args[i])') = term_subst(as;r.args[i]) |
About:
 |  |  |  |  |  |  |