Theorem hasFDerivWithinAt_comp_sub

Modification history

2024-12-10 06:48
Mathlib/Analysis/Calculus/FDeriv/Add.lean
feat: more API for iteratedFDeriv (#19769) …
Added hasFDerivWithinAt_comp_subView on Github →