Question about recursion theorem

Printable View