Zulip Chat Archive

Stream: new members

Topic: Hadamard's Lemma


Hastin Kapoor (May 22 2024 at 20:39):

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 (May 28 2024 at 12:14):

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


Last updated: May 02 2025 at 03:31 UTC