Theorem ProbabilityTheory.tilted_mul_apply_eq_ofReal_integral_mgf'

Modification history

2025-03-11 20:01

Mathlib/Probability/Moments/Tilted.lean

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

Added ProbabilityTheory.tilted_mul_apply_eq_ofReal_integral_mgf'View on Github →