Theorem ProbabilityTheory.mgf_const_mul

Modification history

2025-12-02 17:23

Mathlib/Probability/Moments/Basic.lean

feat: properties of sub-Gaussian random variables (#31550) …

Added ProbabilityTheory.mgf_const_mul View on Github →