Theorem AnalyticAt.hasFPowerSeriesAt

Modification history

2025-01-29 06:49

Mathlib/Analysis/Calculus/IteratedDeriv/Defs.lean

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

Added AnalyticAt.hasFPowerSeriesAt View on Github →