Theorem ProbabilityTheory.covarianceBilin_same_eq_variance

Modification history

2025-07-25 13:19
Mathlib/Probability/Moments/CovarianceBilin.lean
feat: `covarianceBilin` lemmas (#27192) …
Deleted ProbabilityTheory.covarianceBilin_same_eq_varianceView on Github →
2025-05-16 11:58
Mathlib/Probability/Moments/CovarianceBilin.lean
feat: covariance of a measure in a Banach space (#24930) …
Added ProbabilityTheory.covarianceBilin_same_eq_varianceView on Github →