ThmDex – An index of mathematical definitions, results, and conjectures.
P3018
This result is a particular case of R1514: Isotonicity of signed basic integral. $\square$