Theorem Complex.iter_deriv_exp

Modification history

2023-06-29 23:57

Mathlib/Analysis/SpecialFunctions/ExpDeriv.lean

fix precedence of `Nat.iterate` (#5589)

Modified Complex.iter_deriv_exp View on Github →

2023-06-04 23:02

Mathlib/Analysis/SpecialFunctions/ExpDeriv.lean

feat: port Analysis.SpecialFunctions.ExpDeriv (#4651) …

Added Complex.iter_deriv_exp View on Github →