variance_nonneg — Mathlib · SciLib

∫ Утверждение Mathlib

variance_nonneg

Mathlib.Probability.Moments.Variance

URI: https://scilib.ai/kg/mathlib#ProbabilityTheory.variance_nonneg

← MathLib Explorer