2.
n1:.
2. n1<n
(f:{f:(
)| 
x:. f(x) }. mu(f) = n1 (i:. i<mu(f) 
f(i)))
3. f : {f:(
)| x:. f(x) }
4.
f(0)
5. 1+mu(
x.f(1+x)) = n
6. i :
7. i<1+mu(
x.f(1+x))
8. (
x.f(1+x)) 
{f:()| x:. f(x) }
9. i = 0
f(i)
n1:.
(f:{f:()| x:. f(x) }. mu(f) = n1 (i:. i<mu(f) f(i)))
)| x:. f(x) }
f(0)
x.f(1+x)) = n
x.f(1+x))
x.f(1+x)) {f:()| x:. f(x) }
f(i)| By: |
|
None
About:
 |  |  |  |  |  |  |  |  |
 |  |  |  |  |  |