mathlib

4df3cd76 - chore(analysis/special_functions/complex/log): move results about derivatives to a new file (#10117)

chore(analysis/special_functions/complex/log): move results about derivatives to a new file (#10117) Co-authored-by: RemyDegenne <remydegenne@gmail.com> Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>