a,c,b:
, f:({a..b
}
).
a
c 
c<b 
{a..b}(f) = {a..c}(f)
cf(c){c+1..b}(f) a,c,b:, f:({a..b}).
ac c<b {a..b}(f) = {a..c}(f)cf(c){c+1..b}(f)| By: |
{<int>..<int>}(<exponents>) |
| 1 |
2. c :
3. b :
4. f : {a..b }
5. a c
6. c<b ( i:{a..b}. if(i)) = ( i:{a..c}. if(i))cf(c)( i:{c+1..b}. if(i)) | 1 step |
About:
 |  |  |  |  |  |  |  |  |  |  |