variance_mul — Mathlib · SciLib

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

variance_mul

Mathlib.Probability.Moments.Variance

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

← MathLib Explorer