Mathlib v3 is deprecated. Go to Mathlib v4

Theorem tendsto_uniformly_on_of_seq_tendsto_uniformly_on

Modification history

2022-04-08 06:14
src/topology/uniform_space/uniform_convergence.lean
feat(topology/uniform_space/uniform_convergence): add `tendsto_uniformly_iff_seq_tendsto_uniformly` (#13128) …
Added tendsto_uniformly_on_of_seq_tendsto_uniformly_onView on Github →