Theorem DifferentiableOn.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 DifferentiableOn.deriv_eq_smul_circleIntegralView on Github →