Theorem ProbabilityTheory.covariance_fun_neg_left

Modification history

2025-10-23 00:20
Mathlib/Probability/Moments/Covariance.lean
style(misc): fix whitespace (#30691) …
Modified ProbabilityTheory.covariance_fun_neg_leftView on Github →
2025-05-15 20:48
Mathlib/Probability/Moments/Covariance.lean
feat: covariance of real random variables (#24925) …
Added ProbabilityTheory.covariance_fun_neg_leftView on Github →