Theorem ProbabilityTheory.integral_tilted_mul_eq_cgf

Modification history

2025-03-11 20:01
Mathlib/Probability/Moments/Tilted.lean
feat: relate tilted measure and moment generating function (#21256)
Added ProbabilityTheory.integral_tilted_mul_eq_cgfView on Github →