mathlib
34d38919 - add tendsto_nhds_within_iff_seq_tendsto

Commit

3 years ago

add tendsto_nhds_within_iff_seq_tendsto

References

#17261 - feat(topology/continuous_on): add `tendsto_nhds_within_iff_seq_tendsto`

Author

RemyDegenne

RemyDegenne

Parents

Loading