Commit 2023-09-04 08:28 278b4e15
View on Github →feat(Equicontinuity): equicontinuous family converges on a closed set (#6942)
If F : ι → X → α
is an equicontinuous family of functions
and f : X → α
is a continuous function,
then {x | Tendsto (F · x) l (𝓝 (f x))}
is a closed set.