ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Proof P3296 on
R4781: Conditional expectation of known random real number
P3296
This result is a particular case of
R2160: Conditional expectation of known random complex number
. $\square$