Commit 2023-06-05 03:09 af310973

View on Github →

feat: port Analysis.SpecialFunctions.Complex.LogDeriv (#4671)

Estimated changes

added theorem Complex.contDiffAt_log
added theorem Complex.isOpenMap_exp
added theorem Differentiable.clog
added theorem DifferentiableAt.clog
added theorem DifferentiableOn.clog
added theorem HasDerivAt.clog
added theorem HasDerivAt.clog_real
added theorem HasDerivWithinAt.clog
added theorem HasFDerivAt.clog
added theorem HasFDerivWithinAt.clog
added theorem HasStrictDerivAt.clog
added theorem HasStrictFDerivAt.clog