Kleene's s-m-n theorem

  1. REDIRECTsmn theorem