ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4785 on D2280: Conditional expectation
Law of total covariance
Subresults
▶ R2367: Law of total variance