Theorem fderivWithin_const_smul_field'

Modification history

2026-04-23 19:18
Mathlib/Analysis/Calculus/FDeriv/Add.lean
feat(Analysis/Calculus/IteratedDeriv): add affine composition lemmas (#36357) …
Added fderivWithin_const_smul_field'View on Github →