Mathlib v3 is deprecated. Go to Mathlib v4

Theorem filter.eventually_iff_seq_eventually

Modification history

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