Hadamard's Lemma

Stream: new members

[Hastin Kapoor]

I was wondering if Hadamard's Lemma is already in Mathlib. I tried searching moogle for it by name but I haven't found anything that resembles what I'm looking for.
The statement of the theorem:
https://en.wikipedia.org/wiki/Hadamard%27s_lemma

[Jad Abou Hawili]

A bunch of stuff about taylor, the closest i could find to what you want:
https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Polynomial/Taylor.html#Polynomial.taylor