ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Result R1499 on D1748: Signed basic integral

Real-linearity of signed basic integral