Theorem Filter.EventuallyEq.iteratedDeriv_eq

Modification history

2024-10-20 13:19
Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean
feat(Analysis/Complex/Positivity): new file (#17862) …
Added Filter.EventuallyEq.iteratedDeriv_eqView on Github →