Theorem Complex.differentiable_on_off_countable_deriv_eq_smul_circleIntegral

Modification history

2025-11-03 21:03
Mathlib/Analysis/Complex/CauchyIntegral.lean
feat(ComplexAnalysis): Cauchy's Integral Formula for Higher Order Derivatives (#30473) …
Added Complex.differentiable_on_off_countable_deriv_eq_smul_circleIntegralView on Github →