Theorem Filter.EventuallyEq.iteratedFDeriv

Modification history

2026-05-14 14:20
Mathlib/Analysis/Calculus/ContDiff/FTaylorSeries.lean
chore: protect Filter.EventuallyEq.iteratedFDeriv (#39363)
Deleted Filter.EventuallyEq.iteratedFDerivView on Github →
2025-07-04 05:47
Mathlib/Analysis/Calculus/ContDiff/FTaylorSeries.lean
feat: introduce the Laplace operator (#26302) …
Added Filter.EventuallyEq.iteratedFDerivView on Github →