Def ProbabilityTheory.uncenteredCovarianceBilinDual

Modification history

2025-10-13 10:44

Mathlib/Probability/Moments/CovarianceBilinDual.lean

refactor: rename covarianceBilin to covarianceBilinDual (#30417) …

Added ProbabilityTheory.uncenteredCovarianceBilinDual View on Github →