Theorem Filter.frequently_iff_seq_forall

Modification history

2024-12-06 13:50
Mathlib/Order/Filter/AtTopBot.lean
chore(Filter/Bases): split (#18450)
Modified Filter.frequently_iff_seq_forallView on Github →
2024-01-08 11:01
Mathlib/Order/Filter/AtTopBot.lean
chore(Filter/AtTopBot): golf (#9521) …
Added Filter.frequently_iff_seq_forallView on Github →