Theorem differentiableWithinAt_id'

Modification history

2024-12-28 10:33
Mathlib/Analysis/Calculus/FDeriv/Basic.lean
chore: rename iteratedDeriv_const_{smul,mul} (#20136)
Added differentiableWithinAt_id'View on Github →