Theorem difference_quotients_converge_uniformly

Modification history

2024-09-12 10:52
Mathlib/Analysis/Calculus/UniformLimitsDeriv.lean
feat: Prop-valued version of `RCLike` structure for normed fields (#16383) …
Modified difference_quotients_converge_uniformlyView on Github →
2023-06-02 13:42
Mathlib/Analysis/Calculus/UniformLimitsDeriv.lean
feat: port Analysis.Calculus.UniformLimitsDeriv (#4584)
Added difference_quotients_converge_uniformlyView on Github →