map((
t.term_subst2(as;t)) o (t.(t)');r.args) = map(t.term_subst(as;t);r.args)
Term) List
map(t.term_subst2(as;t);map(t.(t)';r.args)) = map(t.term_subst(as;t);r.args)
as:A List, f,g:Top. map(g;map(f;as)) ~ map(g o f;as)
[Term;r.args;t.(t)';t.term_subst2(as;t)]
| 1 | map((t.term_subst2(as;t)) o (t.(t)');r.args) = map(t.term_subst(as;t);r.args) |
About:
 |  |  |  |