Theorem has_deriv_within_taylorWithinEval_at_Icc

Modification history

2024-01-09 18:26
Mathlib/Analysis/Calculus/Taylor.lean
chore(*): fix more names (#9593) …
Deleted has_deriv_within_taylorWithinEval_at_IccView on Github →
2023-06-02 11:07
Mathlib/Analysis/Calculus/Taylor.lean
feat: port Analysis.Calculus.Taylor (#4582)
Added has_deriv_within_taylorWithinEval_at_IccView on Github →