feat(analysis/calculus/deriv): add has_deriv_at.tendsto_punctured_nhds (#10877)
has_deriv_at.tendsto_punctured_nhds