deriv): add `has_deriv_at.tendsto_punctured_nhds` (#10877)

Commit

4 years ago

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

Author

urkud

Parents