Theorem ProbabilityTheory.variance_le_sq_of_bounded

Modification history

2024-10-21 10:47
Mathlib/Probability/Variance.lean
feat: Popoviciu's inequality (#17868) …
Added ProbabilityTheory.variance_le_sq_of_boundedView on Github →