Theorem ProbabilityTheory.covariance_same

Modification history

2025-06-28 09:40
Mathlib/Probability/Moments/Covariance.lean
chore: rename `covariance_same` to `covariance_self` (#26410) …
Deleted ProbabilityTheory.covariance_sameView on Github →
2025-05-15 20:48
Mathlib/Probability/Moments/Covariance.lean
feat: covariance of real random variables (#24925) …
Added ProbabilityTheory.covariance_sameView on Github →