Theorem ProbabilityTheory.variance_of_integral_eq_zero

Modification history

2025-01-30 12:07
Mathlib/Probability/Variance.lean
chore(Variance): golf API (#20814)
Added ProbabilityTheory.variance_of_integral_eq_zeroView on Github →