Theorem AnalyticAt.iterated_deriv

Modification history

2025-12-10 06:35
Mathlib/Analysis/Calculus/FDeriv/Analytic.lean
feat: derivatives of meromorphic functions are meromorphic (#32385) …
Modified AnalyticAt.iterated_derivView on Github →
2025-02-14 10:46
Mathlib/Analysis/Calculus/FDeriv/Analytic.lean
feat(Analysis): add `AnalyticAt.deriv` (#21678)
Added AnalyticAt.iterated_derivView on Github →