Theorem ProbabilityTheory.exists_cgf_eq_iteratedDeriv_two_cgf_mul

Modification history

2025-07-16 10:54
Mathlib/Probability/Moments/MGFAnalytic.lean
feat(Probability): Hoeffding's lemma (#26744) …
Added ProbabilityTheory.exists_cgf_eq_iteratedDeriv_two_cgf_mulView on Github →