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

Proof P3608 on R3896: Idempotence of real expectation

P3608

This result is a particular case of R5302: Idempotence of complex expectation. $\square$