Nuprl Definition : fact

(n)! ==  primrec(n;1;λi,j. ((i 1) j))



Definitions occuring in Statement :  primrec: primrec(n;b;c) lambda: λx.A[x] multiply: m add: m natural_number: $n
Definitions occuring in definition :  primrec: primrec(n;b;c) lambda: λx.A[x] multiply: m add: m natural_number: $n
FDL editor aliases :  fact

Latex:
(n)!  ==    primrec(n;1;\mlambda{}i,j.  ((i  +  1)  *  j))



Date html generated: 2018_05_21-PM-01_00_33
Last ObjectModification: 2018_01_28-PM-02_11_49

Theory : num_thy_1


Home Index