Theorem Complex.cderiv_eq_deriv

Modification history

2024-08-08 17:32
Mathlib/Analysis/Complex/LocallyUniformLimit.lean
chore: backports for leanprover/lean4#4814 (part 37) (#15608)
Modified Complex.cderiv_eq_derivView on Github →
2023-06-09 14:11
Mathlib/Analysis/Complex/LocallyUniformLimit.lean
feat: port Analysis.Complex.LocallyUniformLimit (#4906)
Added Complex.cderiv_eq_derivView on Github →