Def ProbabilityTheory.complexMGF

Modification history

2025-01-29 06:49

Mathlib/Probability/Moments/ComplexMGF.lean

feat: the moment generating function is analytic (#20151) …

Added ProbabilityTheory.complexMGF View on Github →