Theorem hasFDerivAt_of_tendsto_locally_uniformly_on'

Modification history

2023-06-02 13:42

Mathlib/Analysis/Calculus/UniformLimitsDeriv.lean

feat: port Analysis.Calculus.UniformLimitsDeriv (#4584)

Added hasFDerivAt_of_tendsto_locally_uniformly_on'View on Github →