Theorem derivWithin_id'

Modification history

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