Function Application S(A)

(apply S a) represents the output of the function S the number a.

Function application is defined as (= (apply S A) (iota ({|} z (e. (<,> A z) S)))) /edit/peano_new/function.gh/df-apply.

Theorems

How to find the value of the lambda function for a particular input function application

Functions Overview

Login to edit