Theorem ProbabilityTheory.exp_cgf_of_neZero

Modification history

2025-03-11 20:01
Mathlib/Probability/Moments/Basic.lean
feat: relate tilted measure and moment generating function (#21256)
Deleted ProbabilityTheory.exp_cgf_of_neZeroView on Github →
2025-01-08 08:24
Mathlib/Probability/Moments.lean
feat: misc. lemmas about moments, tilted measures (#20150)
Added ProbabilityTheory.exp_cgf_of_neZeroView on Github →