| No other cites to report in MarkB_generic | |
| spread7 | Def let a,b,c,d,e,f,g = u in v(a;b;c;d;e;f;g) == u/a,zz1. zz1/b,zz2. zz2/c,zz3. zz3/d,zz4. zz4/e,zz5. zz5/f,g. v(a;b;c;d;e;f;g) |
| Syntax: | let a,b,c,d,e,f,g = u in v(a;b;c;d;e;f;g) | has structure: | spreadn(u; a,b,c,d,e,f,g.v(a;b;c;d;e;f;g)) |
About:
| |