Theorem ProbabilityTheory.variance_le_sub_mul_sub

Modification history

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