Nuprl Definition : integral
a_∫-b f[x] dx == ∫ f[x] dx on [rmin(a;b), b] - ∫ f[x] dx on [rmin(a;b), a]
Definitions occuring in Statement :
Riemann-integral: ∫ f[x] dx on [a, b],
rmin: rmin(x;y),
rsub: x - y
Definitions occuring in definition :
rmin: rmin(x;y),
Riemann-integral: ∫ f[x] dx on [a, b],
rsub: x - y
FDL editor aliases :
integral
Latex:
a\_\mint{}\msupminus{}b f[x] dx == \mint{} f[x] dx on [rmin(a;b), b] - \mint{} f[x] dx on [rmin(a;b), a]
Date html generated:
2016_10_26-PM-00_07_06
Last ObjectModification:
2016_09_12-PM-05_38_27
Theory : reals_2
Home
Index