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

Proof P3609 on R5303: Real-linearity of complex expectation

P3609

This result is a particular case of R1817: Complex-linearity of complex expectation. $\square$