Theorem Complex.IsConservativeOn.mono

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.IsConservativeOn.monoView on Github →