Theorem HasFPowerSeriesWithinAt.unshift

Modification history

2024-12-18 06:37

Mathlib/Analysis/Analytic/Constructions.lean

feat(Analysis/Analytic): `FormalMultilinearSeries.unshift` convergence (#19848) …

Added HasFPowerSeriesWithinAt.unshift View on Github →