Theorem ProbabilityTheory.mgf_pos_iff

Modification history

2025-01-29 06:49

Mathlib/Probability/Moments/Basic.lean

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

Added ProbabilityTheory.mgf_pos_iff View on Github →