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