Theorem ProbabilityTheory.covariance_eq_sub

Modification history

2025-08-07 07:54

Mathlib/Probability/Moments/Covariance.lean

feat: the covariance of independent random variables is zero (#27988)

Added ProbabilityTheory.covariance_eq_sub View on Github →