Theorem HasFiniteFPowerSeriesOnBall.hasFiniteFPowerSeriesAt

Modification history

2024-01-10 10:28

Mathlib/Analysis/Analytic/CPolynomial.lean

feat(Mathlib/Analysis/Analytic): continuously polynomial functions (#9269) …

Added HasFiniteFPowerSeriesOnBall.hasFiniteFPowerSeriesAt View on Github →