Theorem ProbabilityTheory.covariance_self

Modification history

2025-08-01 13:58
Mathlib/Probability/Moments/Covariance.lean
chore: define covariance before variance (#27736) …
Modified ProbabilityTheory.covariance_selfView on Github →
2025-06-28 09:40
Mathlib/Probability/Moments/Covariance.lean
chore: rename `covariance_same` to `covariance_self` (#26410) …
Added ProbabilityTheory.covariance_selfView on Github →