Theorem Complex.IsExactOn.isConservativeOn_of_isOpen

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)
Deleted Complex.IsExactOn.isConservativeOn_of_isOpenView on Github →
2025-09-12 12:47
Mathlib/Analysis/Complex/HasPrimitives.lean
feat: a complex differentiable function on a disk has a primitive (#9598) …
Added Complex.IsExactOn.isConservativeOn_of_isOpenView on Github →