Theorem hasDerivWithinAt_taylorWithinEval_at_Icc

Modification history

2024-01-09 18:26
Mathlib/Analysis/Calculus/Taylor.lean
chore(*): fix more names (#9593) …
Added hasDerivWithinAt_taylorWithinEval_at_IccView on Github →