Theorem HasFPowerSeriesWithinAt.pi

Modification history

2024-09-16 00:14

Mathlib/Analysis/Analytic/Constructions.lean

feat: analyticity of functions in pi spaces (#16753)

Added HasFPowerSeriesWithinAt.pi View on Github →