deriv): simpler proof of `differentiable_at.div_const` (#5782)

Commit

4 years ago

refactor(analysis/calculus/deriv): simpler proof of `differentiable_at.div_const` (#5782) Co-authors: `lean-gptf`, Yuhuai Wu

Author

Jesse Michael Han

Parents