Theorem PeriodPair.hasFPowerSeriesOnBall_derivWeierstrassPExcept

Modification history

2026-01-07 13:28
Mathlib/Analysis/SpecialFunctions/Elliptic/Weierstrass.lean
feat(Analysis): ℘ is analytic (#32911)
Added PeriodPair.hasFPowerSeriesOnBall_derivWeierstrassPExceptView on Github →