Theorem HasFPowerSeriesOnBall.unshift

Modification history

2024-12-18 06:37
Mathlib/Analysis/Analytic/Constructions.lean
feat(Analysis/Analytic): `FormalMultilinearSeries.unshift` convergence (#19848) …
Added HasFPowerSeriesOnBall.unshiftView on Github →