TOPICS
Search

Iteration Theorem



See

Kleene's s-m-n Theorem