Theorem cauchy_map_of_uniformCauchySeqOn_fderiv

Modification history

2023-06-02 13:42
Mathlib/Analysis/Calculus/UniformLimitsDeriv.lean
feat: port Analysis.Calculus.UniformLimitsDeriv (#4584)
Added cauchy_map_of_uniformCauchySeqOn_fderivView on Github →