Theorem ProbabilityTheory.exp_cgf

Modification history

2025-03-11 20:01

Mathlib/Probability/Moments/Basic.lean

feat: relate tilted measure and moment generating function (#21256)

Modified ProbabilityTheory.exp_cgf View on Github →

2025-01-08 08:24

Mathlib/Probability/Moments.lean

feat: misc. lemmas about moments, tilted measures (#20150)

Added ProbabilityTheory.exp_cgf View on Github →