Theorem ProbabilityTheory.variance_eq_integral

Modification history

2025-02-16 09:19
Mathlib/Probability/Variance.lean
feat: rewrite the linter for spaces before semicolons in Lean (#16532) …
Modified ProbabilityTheory.variance_eq_integralView on Github →
2025-01-30 12:07
Mathlib/Probability/Variance.lean
chore(Variance): golf API (#20814)
Added ProbabilityTheory.variance_eq_integralView on Github →