Nuprl Definition : exp
i^n == primrec(n;1;λx,y. (i * y))
Definitions occuring in Statement :
primrec: primrec(n;b;c),
lambda: λx.A[x],
multiply: n * m,
natural_number: $n
Definitions occuring in definition :
primrec: primrec(n;b;c),
natural_number: $n,
lambda: λx.A[x],
multiply: n * m
FDL editor aliases :
exp
Latex:
i\^{}n == primrec(n;1;\mlambda{}x,y. (i * y))
Date html generated:
2016_05_14-AM-07_34_13
Last ObjectModification:
2015_09_22-PM-05_46_43
Theory : int_2
Home
Index