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: n * m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
primrec: primrec(n;b;c),
lambda: λx.A[x],
multiply: n * m,
add: n + m,
natural_number: $n
FDL editor aliases :
fact
Latex:
(n)! == primrec(n;1;\mlambda{}i,j. ((i + 1) * j))
Date html generated:
2016_05_15-PM-04_04_37
Last ObjectModification:
2015_09_23-AM-07_46_29
Theory : general
Home
Index