ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P2932 on R1233: Finite additivity of unsigned basic integral
P2932
This result is a particular case of R1213: Linearity of unsigned basic integral. $\square$