Theorem HasFiniteFPowerSeriesAt.comp

Modification history

2025-10-01 09:41

Mathlib/Analysis/Analytic/Composition.lean

feat: the composition of continuously polynomial functions is continuously polynomial (#30086)

Added HasFiniteFPowerSeriesAt.comp View on Github →