f:{f:(
)| 
x:. f(x) }, i:. i<mu(f) 
f(i)f:{f:()| x:. f(x) }. f(0) (
x.f(1+x)) 
{f:()| x:. f(x) }| Theorem | Name |
| f:{f:()| x:. f(x) }, i:. i<mu(f) f(i) | [kleene_minimize_is_lb] |
| cites the following: | |
| f:{f:()| x:. f(x) }. f(0) (x.f(1+x)) {f:()| x:. f(x) } | [kleene_tail] |