Theorem AnalyticOn.hasFPowerSeriesOnSubball

Modification history

2025-10-28 22:21
Mathlib/Analysis/Calculus/IteratedDeriv/ConvergenceOnBall.lean
feat(Analysis/Calculus): Taylor series converges to function on whole ball (#26267) …
Added AnalyticOn.hasFPowerSeriesOnSubballView on Github →