Mathlib Changelog
v4
Changelog
About
Github
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 →