Μ-recursive function

1. REDIRECT General recursive function

{{Redirect category shell|

{{R from move}}

}}