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.isConservativeOn_and_continuousOn_iff_isDifferentiableOn