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

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

Result R3791 on D5102: Basic expectation

Linearity of signed basic expectation