Nuprl Definition : integrate
a_∫- f[t] dt == λx.a_∫-x f[t] dt
Definitions occuring in Statement :
integral: a_∫-b f[x] dx,
lambda: λx.A[x]
Definitions occuring in definition :
integral: a_∫-b f[x] dx,
lambda: λx.A[x]
FDL editor aliases :
integrate
Latex:
a\_\mint{}\msupminus{} f[t] dt == \mlambda{}x.a\_\mint{}\msupminus{}x f[t] dt
Date html generated:
2016_10_26-PM-00_08_13
Last ObjectModification:
2016_09_12-PM-05_38_53
Theory : reals_2
Home
Index