a,b:Term List. 
termlist_eq(a;b) 
||a|| = ||b|| 
(
i:. i < ||a|| & a[i] = b[i])
a,b:Term List. a = b ||a|| = ||b|| (i:. i < ||a|| & a[i] = b[i])
| 1 | a,b:Term List. termlist_eq(a;b) ||a|| = ||b|| (i:. i < ||a|| & a[i] = b[i]) |
About:
 |  |  |  |  |  |  |