Nuprl Definition : int-radd
k + x == λn.(((2 * k) * n) + (x n))
Definitions occuring in Statement :
apply: f a,
lambda: λx.A[x],
multiply: n * m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
lambda: λx.A[x],
add: n + m,
multiply: n * m,
natural_number: $n,
apply: f a
FDL editor aliases :
int-radd
Latex:
k + x == \mlambda{}n.(((2 * k) * n) + (x n))
Date html generated:
2019_10_29-AM-09_31_33
Last ObjectModification:
2019_02_13-PM-00_42_41
Theory : reals
Home
Index