Theorem Complex.IsExactOn.differentiableOn

Modification history

2025-09-15 10:13

Mathlib/Analysis/Complex/HasPrimitives.lean

feat: equivalence of `Complex.IsConservativeOn` and `DifferentiableOn ℂ` for continuous functions on open sets (#29629)

Added Complex.IsExactOn.differentiableOn View on Github →