Theorem AnalyticAt.contDiffAt

Modification history

2023-07-05 12:35
Mathlib/Analysis/Calculus/FDerivAnalytic.lean
feat: complex differentiable functions are continuously differentiable (#5629)
Added AnalyticAt.contDiffAtView on Github →