Theorem ProbabilityTheory.covariance_sub_const_right

Modification history

2025-05-15 20:48
Mathlib/Probability/Moments/Covariance.lean
feat: covariance of real random variables (#24925) …
Added ProbabilityTheory.covariance_sub_const_rightView on Github →