Mathlib Changelog
v4
Changelog
About
Github
Commit
2026-05-14 14:20
52b1a81c
View on Github →
chore: protect Filter.EventuallyEq.iteratedFDeriv (
#39363
)
Estimated changes
Modified
Mathlib/Analysis/Calculus/ContDiff/FTaylorSeries.lean
deleted
theorem
Filter.EventuallyEq.iteratedFDeriv