Def ProbabilityTheory.covarianceBilinDual

Modification history

2025-10-13 10:44

Mathlib/Probability/Moments/CovarianceBilinDual.lean

refactor: rename covarianceBilin to covarianceBilinDual (#30417) …

Added ProbabilityTheory.covarianceBilinDual View on Github →